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

abstract (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.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  

Subclass(es)

quantity  attribute  set or class  relation  proposition  graph  graph element 

Coordinate term(s)

physical 

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.

Axioms (2)

entity is exhaustively partitioned into physical,abstract. 
(partition Entity Physical Abstract)
abs is an instance of abstract if and only if there doesn't exist point so that abs is located at point or abs exists during point. 
(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))