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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Abstract

appearance as argument number 1

(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1574-1574
(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 1576-1580
(externalImage Abstract " 01/ Black_Square.jpg") pictureList.kif 9887-9887
(externalImage Abstract " e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") pictureList.kif 10373-10373
(externalImage Abstract "") pictureList.kif 10374-10374
(externalImage Abstract "") pictureList.kif 10375-10375
(subclass Abstract Entity) Merge.kif 1573-1573

appearance as argument number 2

(subclass Attribute Abstract) Merge.kif 1604-1604
(subclass Model Abstract) engineering.kif 68-68
(subclass ProcessTask Abstract) QoSontology.kif 1948-1948
(subclass Proposition Abstract) Merge.kif 3400-3400
(subclass Quantity Abstract) Merge.kif 1598-1598
(subclass Relation Abstract) Merge.kif 2067-2067
(subclass SetOrClass Abstract) Merge.kif 2036-2036
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853
(termFormat EnglishLanguage Abstract "abstract") english_format.kif 913-913

appearance as argument number 3

(domain abstractCounterpart 1 Abstract) Merge.kif 5772-5772
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 20734-20734
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 20735-20735
(domain achievement 3 Abstract) ComputingBrands.kif 1638-1638
(domain benchmark 1 Abstract) FinancialOntology.kif 1589-1589
(domain offers 2 Abstract) Catalog.kif 82-82
(partition Entity Physical Abstract) Merge.kif 781-781

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners