BFO-2020
BFO-2020 copied to clipboard
BFO-ontology
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
**Describe the (possible) bug** It’s possible this issue is an artifact of the difficulty of dealing with time in OWL, but I think the definition for **occupies spatial region** implies...
Originally posted by **gregfowlerphd** September 5, 2024 This isn't really a bug, just a series of questions (though I suppose it's possible they might lead to a bug being uncovered)....
The definitions in BFO-core have been edited so that they are no longer in sync with those in the ISO source, from which the *generated* BFO is constructed. This has...
According to the definition, b is a member part of c means that b is an _object_ and c is a material entity. However, the domain axiom says that its...
In the skos:definition plurality seems to mean greater than or equal to 1 whereas in the second skos:scopeNote it seems to mean greater than 1. I am, of course, happy...
Distinguish axioms from theorems in the BFO FOL. I've code that tries to prove each formula from the rest. Take the ones that are proven and mark them as theorems.
**Describe the bug** The definition reads: > b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there...
**Describe the bug** The definition reads: > t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal...
**Describe the bug** The definition reads: > b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there...
Metadata
Owner
Metadata
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020