Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

corpuscular object (CorpuscularObject)

A SelfConnectedObject whose parts have properties that are not shared by the whole.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  corpuscular object  

Subclass(es)

organic object  artifact 

Coordinate term(s)

content bearing object  food  substance 

Constrains relations

component  material 

Related WordNet synsets

object, physical object
a physical (tangible and visible) entity; "it was full of rackets, balls and other objects"
object is kind of (all)...   object is kind of...   kinds of object...   kinds of object (all)...  
composite
consisting of separate interconnected parts
composite is similar to...  
See more related synsets on a separate page.

Axioms (2)

corpuscular object is disjoint from substance.
(disjoint CorpuscularObject Substance)

If obj is an instance of corpuscular object, then there exist substance substance1,substance substance2 so that substance1 is made of obj and substance2 is made of obj and substance1 is not equal to substance2.
(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))