korpuskularer Gegenstand (CorpuscularObject)
A SelfConnectedObject whose parts have
properties that are not shared by the whole.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Subclass(es)
organische Gegenstand
Kunstprodukt
Coordinate term(s)
Inhaltsgegenstand
Nahrung
Substanz
Constrains relations
bestandteil
material
Related WordNet synsets
- object, physical object
- a physical (tangible and visible) entity; "it was full of rackets, balls and other objects"
- composite
- consisting of separate interconnected parts
See more related synsets on a separate page.
Axioms (2)
korpuskularer Gegenstand ist dijunkt von Substanz .
(disjoint CorpuscularObject Substance)
Wenn obj ist ein fall von korpuskularer Gegenstand , dann es gibt ein Substanz substance1,Substanz substance2 der substance1 ist von obj gebildet und substance2 ist von obj gebildet und substance1 ist gleich substance2 nicht.
(=>
(instance ?OBJ CorpuscularObject)
(exists
(?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2)))))