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

abstraktum (Abstract)

Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  

Podtřída(y)

veličina  atribut  množina nebo třída  relace  výrok  graf  prvek grafu 

Související termín(y)

fyzický objekt 

Related WordNet synsets

abstractness
the quality of being considered apart from an specific instance or object
abstractness is opposite to...   abstractness is kind of (all)...   abstractness is kind of...   abstractness is an attribute of  
abstract
existing only in the mind; separated from embodiment; "abstract words like `truth' and `justice'"
abstract is opposite to...   see also...   abstract is similar to...   abstract is an attribute of  
See more related synsets on a separate page.

Axiomy (2)

entita je exhaustively partitioned into fyzický objekt,abstraktum. 
(partition Entity Physical Abstract)
abs je instancí třídy abstraktum tehdy a jen tehdy pokud neexistuje point tak, že abs je located at point nebo abs exists during point. 
(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))