Basic Formal Ontology

Last uploaded: August 27, 2019
Loading
ID

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

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

IAO_0000115

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])

IAO_0000602

(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]

(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]

IAO_0000112

the bottom right portion of a human torso

an orchestra.

the interior of your mouth

an atom

a chair

a molecule

a spatial region

a heart

an organism

a leg

disjointWith

http://purl.obolibrary.org/obo/BFO_0000031

http://purl.obolibrary.org/obo/BFO_0000020

IAO_0000601

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])

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])

prefixIRI

BFO:0000004

BFO_0000180

IndependentContinuant

prefLabel

independent continuant

BFO_0000179

ic

label

independent continuant

subClassOf

http://purl.obolibrary.org/obo/BFO_0000002

disjointWith

http://purl.obolibrary.org/obo/BFO_0000031

http://purl.obolibrary.org/obo/BFO_0000020

Filter:
Delete Subject Subject Sort Archive Sort Author Type Created
No notes to display
Loading
Loading
Loading
Loading
Loading
Loading
Loading