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

複雜體/非單質體 (CorpuscularObject)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  複雜體/非單質體  

Subclass(es)

有機物  人造物 

Coordinate term(s)

內容載體  食物  物質 

Constrains relations

元件  物質 

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)

複雜體/非單質體 無交集 於 物質. 
(disjoint CorpuscularObject Substance)
If obj 是 複雜體/非單質體 的 實例, then there exist 物質 substance1,物質 substance2 so that substance1 是 由 obj 組成 and substance2 是 由 obj 組成 and substance1 等於 substance2. 
(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))