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

Formal Language: 


KB Term:  Term intersection
English Word: 

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, furthermore, 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...

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1680-1680 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(documentation Abstract ChineseLanguage "这些特质或质量，和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上，可以说是像数学物体如集合和关系般存在，但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。") chinese_format.kif 1705-1707 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(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 1682-1686 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(documentation Abstract JapaneseLanguage "物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。　しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。") japanese_format.kif 306-310 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg") pictureList.kif 9868-9868 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter_CompositionV_%281924%29.jpg") pictureList.kif 10350-10350 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg") pictureList.kif 10351-10351 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(externalImage Abstract "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg") pictureList.kif 10352-10352 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
(subclass Abstract Entity) Merge.kif 1679-1679 Abstract is a subclass of entity

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


(subclass Attribute Abstract) Merge.kif 1710-1710 Attribute is a subclass of abstract
(subclass List Abstract) Merge.kif 2888-2888 List is a subclass of abstract
(subclass ProcessTask Abstract) QoSontology.kif 2073-2073 Process task is a subclass of abstract
(subclass Proposition Abstract) Merge.kif 3570-3570 Proposition is a subclass of abstract
(subclass Quantity Abstract) Merge.kif 1704-1704 Quantity is a subclass of abstract
(subclass Relation Abstract) Merge.kif 2170-2170 Relation is a subclass of abstract
(subclass SetOrClass Abstract) Merge.kif 2139-2139 Set or class is a subclass of abstract
(termFormat ChineseLanguage Abstract "抽象体") chinese_format.kif 853-853 Set or class is a subclass of abstract
(termFormat EnglishLanguage Abstract "abstract") english_format.kif 908-908 Set or class is a subclass of abstract
(termFormat FrenchLanguage Abstract "abstrait") french_format.kif 529-529 Set or class is a subclass of abstract
(termFormat Hindi Abstract "amUrta") terms-hindi.txt 60-60 Set or class is a subclass of abstract
(termFormat ItalianLanguage Abstract "Astratto") terms-it.txt 63-63 Set or class is a subclass of abstract
(termFormat JapaneseLanguage Abstract "抽象的な") japanese_format.kif 2214-2214 Set or class is a subclass of abstract
(termFormat PortugueseLanguage Abstract "Abstrato") portuguese_format.kif 481-481 Set or class is a subclass of abstract
(termFormat cb Abstract "hubo") terms-cb.txt 65-65 Set or class is a subclass of abstract
(termFormat cz Abstract "abstract") terms-cz.txt 96-96 Set or class is a subclass of abstract
(termFormat de Abstract "abstrakter Gegenstand") terms-de.txt 355-355 Set or class is a subclass of abstract
(termFormat ro Abstract "abstract") relations-ro.kif 550-550 Set or class is a subclass of abstract
(termFormat tg Abstract "buod") terms-tg.txt 64-64 Set or class is a subclass of abstract

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


(domain abstractCounterpart 1 Abstract) Merge.kif 6136-6136 The number 1 argument of abstract counterpart is an instance of abstract
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 24436-24436 The number 1 argument of abstract part is an instance of abstract
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 24437-24437 The number 2 argument of abstract part is an instance of abstract
(domain achievement 3 Abstract) ComputingBrands.kif 1661-1661 The number 3 argument of achievement is an instance of abstract
(domain benchmark 1 Abstract) FinancialOntology.kif 1663-1663 The number 1 argument of benchmark is an instance of abstract
(domain offers 2 Abstract) Catalog.kif 83-83 The number 2 argument of offers is an instance of abstract
(partition Entity Physical Abstract) Merge.kif 809-809 Entity is exhaustively partitioned into physical and abstract


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



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