Link to this page
Data Collection Ontology
Last uploaded:
August 9, 2017
Jump to:
| Id | http://purl.obolibrary.org/obo/BFO_0000002
http://purl.obolibrary.org/obo/BFO_0000002
|
|---|---|
| Preferred Name | continuant |
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| label | continuant
|
|---|---|
| prefLabel | continuant
|
| has associated axiom(fol) | (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
|
| has associated axiom(nl) | if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
|
| isDefinedBy | |
| BFO OWL specification label | continuant
|
| prefixIRI | ns4:BFO_0000002
|
| subClassOf | |
| type | |
| BFO CLIF specification label | Continuant
|
| disjointWith |
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |