Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Abstract

Sigma KEE - Abstract
Abstract

appearance as argument number 1
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1584-1584 disjointDecomposition Abstract, Quantity, Attribute, Relation, Proposition and List
(documentation Abstract ChineseLanguage "这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。") chinese_format.kif 1705-1707
(documentation Abstract EnglishLanguage "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.") Merge.kif 1586-1590
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") pictureList.kif 9877-9877
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") pictureList.kif 10362-10362
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") pictureList.kif 10363-10363
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") pictureList.kif 10364-10364
(subclass Abstract Entity) Merge.kif 1583-1583 subclass Abstract and Entity

appearance as argument number 2
-------------------------


(subclass Attribute Abstract) Merge.kif 1614-1614 subclass Attribute and Abstract
(subclass List Abstract) Merge.kif 2775-2775 subclass List and Abstract
(subclass ProcessTask Abstract) QoSontology.kif 1948-1948 subclass ProcessTask and Abstract
(subclass Proposition Abstract) Merge.kif 3447-3447 subclass Proposition and Abstract
(subclass Quantity Abstract) Merge.kif 1608-1608 subclass Quantity and Abstract
(subclass Relation Abstract) Merge.kif 2077-2077 subclass Relation and Abstract
(subclass SetOrClass Abstract) Merge.kif 2046-2046 subclass SetOrClass and Abstract
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853
(termFormat EnglishLanguage Abstract "abstract") english_format.kif 908-908

appearance as argument number 3
-------------------------


(domain abstractCounterpart 1 Abstract) Merge.kif 5854-5854 domain abstractCounterpart, 1 and Abstract
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 22189-22189 domain abstractPart, 1 and Abstract
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 22190-22190 domain abstractPart, 2 and Abstract
(domain achievement 3 Abstract) ComputingBrands.kif 1630-1630 domain アチーブメント, 3 and Abstract
(domain benchmark 1 Abstract) FinancialOntology.kif 1602-1602 domain benchmark, 1 and Abstract
(domain offers 2 Abstract) Catalog.kif 82-82 domain offers, 2 and Abstract
(partition Entity Physical Abstract) Merge.kif 781-781 partition Entity, Physical and Abstract


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners