SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject
Next SelfConnectedObjectRegion    UpSelfConnectedObject    Previous SelfConnectedObjectSubstance   

CorpuscularObject
subjectfact 
CorpuscularObjectdocumentation A SelfConnectedObject whose parts have properties that are not shared by the whole2001-11-30 13:33:58.0
has axiom
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCETYPE1 Substance)
(subclass ?SUBSTANCETYPE2 Substance)
(instance ?SUBSTANCE1 ?SUBSTANCETYPE1)
(instance ?SUBSTANCE2 ?SUBSTANCETYPE2)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
2001-11-30 13:33:58.0
is disjoint from Substance2001-11-30 13:33:58.0
is first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
is a kind of SelfConnectedObject2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Kinds of CorpuscularObject :