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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Abstract

Sigma KEE - Abstract
Abstract(abstract)
Bravais_lattice, Dewey_decimal_classification, Dewey_decimal_system, abstract, abstract_entity, abstraction, abstractionism, abstractness, acceptation, archetype, bodiless, center_of_curvature, centre_of_curvature, chaotic_attractor, circle_of_curvature, classification_system, component, constituent, crystal_lattice, data_structure, decimal_system_of_classification, discorporate, disembodied, element, example, factor, fractal, gestalt, good_will, goodwill, grammatical_meaning, grid, guide, hierarchical_classification_system, hierarchical_data_structure, hierarchical_structure, ideal, idealisation, idealization, immaterial, immateriality, impalpability, incorporeal, incorporeality, ingredient, intangibility, intangible, intangible_asset, intangibleness, intersection...

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) Merge.kif 1579-1579 Abstract is disjointly decomposed into quantity, attribute, set or class, 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 1581-1585
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") pictureList.kif 9887-9887
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg") pictureList.kif 10373-10373
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") pictureList.kif 10374-10374
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") pictureList.kif 10375-10375
(subclass Abstract Entity) Merge.kif 1578-1578 Abstract is a subclass of entity

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


(subclass Attribute Abstract) Merge.kif 1609-1609 Attribute is a subclass of abstract
(subclass List Abstract) Merge.kif 2769-2769 List is a subclass of abstract
(subclass Model Abstract) engineering.kif 68-68 Model is a subclass of abstract
(subclass ProcessTask Abstract) QoSontology.kif 1948-1948 Process task is a subclass of abstract
(subclass Proposition Abstract) Merge.kif 3436-3436 Proposition is a subclass of abstract
(subclass Quantity Abstract) Merge.kif 1603-1603 Quantity is a subclass of abstract
(subclass Relation Abstract) Merge.kif 2072-2072 Relation is a subclass of abstract
(subclass SetOrClass Abstract) Merge.kif 2041-2041 Set or class is a subclass of abstract
(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 5807-5807 The number 1 argument of abstractCounterpart is an instance of abstract
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 20713-20713 The number 1 argument of abstract part is an instance of abstract
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 20714-20714 The number 2 argument of abstract part is an instance of abstract
(domain achievement 3 Abstract) ComputingBrands.kif 1636-1636 The number 3 argument of achievement is an instance of abstract
(domain benchmark 1 Abstract) FinancialOntology.kif 1589-1589 The number 1 argument of benchmark is an instance of abstract
(domain offers 2 Abstract) Catalog.kif 82-82 The number 2 argument of offers is an instance of abstract
(partition Entity Physical Abstract) Merge.kif 782-782 Entity is exhaustively partitioned into 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