Preferred Name |
object aggregate |
|
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000027 |
|
BFO CLIF specification label |
ObjectAggregate |
|
BFO OWL specification label |
object-aggregate |
|
definition source |
ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158. |
|
has associated axiom(fol) |
(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] |
|
isDefinedBy | ||
label |
object aggregate |
|
prefixIRI |
ns4:BFO_0000027 |
|
prefLabel |
object aggregate |
|
subClassOf |
Create mapping