Occupation Ontology

Last uploaded: September 1, 2023
Jump to:
Id http://purl.obolibrary.org/obo/BFO_0000004
http://purl.obolibrary.org/obo/BFO_0000004
Preferred Name

independent continuant
Definitions
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
Type http://www.w3.org/2002/07/owl#Class

All Properties

definition

b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
label
independent continuant
prefLabel
independent continuant
has associated axiom(fol)
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
has associated axiom(nl)
For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
isDefinedBy
BFO OWL specification label
ic
prefixIRI
BFO:0000004
subClassOf
type
example of usage
a leg
an orchestra.
a molecule
an organism
the bottom right portion of a human torso
the interior of your mouth
an atom
a chair
a spatial region
a heart
See more
See less
BFO CLIF specification label
IndependentContinuant
disjointWith
Add comment
Add proposal
Delete Subject Author Type Created
No notes to display