Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

složený objekt (CorpuscularObject)

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

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  složený objekt  

Podtřída(y)

organický objekt  artefakt 

Související termín(y)

objekt nesoucí informaci  jídlo  látka 

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.

Axiomy (2)

složený objekt je disjoint from látka. 
(disjoint CorpuscularObject Substance)
Jestliže obj je instancí třídy složený objekt, potom existují látka substance1,látka substance2 tak, že substance1 je z obj a substance2 je z obj a substance1 se nerovná substance2. 
(=>
      (instance ?OBJ CorpuscularObject)
      (exists
            (?SUBSTANCE1 ?SUBSTANCE2)
            (and
                  (subclass ?SUBSTANCE1 Substance)
                  (subclass ?SUBSTANCE2 Substance)
                  (material ?SUBSTANCE1 ?OBJ)
                  (material ?SUBSTANCE2 ?OBJ)
                  (not
                        (equal ?SUBSTANCE1 ?SUBSTANCE2)))))