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


s__disjointDecomposition__6(s__Abstract,s__Quantity,s__Attribute,s__SetOrClass,s__Relation,s__Proposition)

Merge.kif 1722-1722 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
s__documentation(s__Abstract,s__ChineseLanguage,'这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。')

Merge.kif 1728-1730
s__documentation(s__Abstract,s__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 1723-1727
s__externalImage(s__Abstract,'http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Black_Square.jpg')

pictureList.kif 9887-9887 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Black_Square.jpg" is a URL depicting abstract
s__externalImage(s__Abstract,'http://upload.wikimedia.org/wikipedia/commons/e/ e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg')

pictureList.kif 10373-10373 "http://upload.wikimedia.org/wikipedia/commons/e/e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg" is a URL depicting abstract
s__externalImage(s__Abstract,'http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg')

pictureList.kif 10374-10374 "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg" is a URL depicting abstract
s__externalImage(s__Abstract,'http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg')

pictureList.kif 10375-10375 "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg" is a URL depicting abstract
s__instance(s__Abstract,s__SetOrClass)

s__instance(s__Entity,s__SetOrClass)

s__subclass(s__Abstract,s__Entity)

Merge.kif 1721-1721 Abstract is a subclass of entity

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


s__instance(s__Abstract,s__SetOrClass)

s__instance(s__Attribute,s__SetOrClass)

s__subclass(s__Attribute,s__Abstract)

Merge.kif 1755-1755 Attribute is a subclass of abstract
s__instance(s__Model,s__SetOrClass)

s__subclass(s__Model,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

engineering.kif 68-68 Model is a subclass of abstract
s__subclass(s__ProcessTask,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

s__instance(s__ProcessTask,s__SetOrClass)

QoSontology.kif 1930-1930 Process task is a subclass of abstract
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Proposition,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

Merge.kif 3662-3662 Proposition is a subclass of abstract
s__instance(s__Abstract,s__SetOrClass)

s__instance(s__Quantity,s__SetOrClass)

s__subclass(s__Quantity,s__Abstract)

Merge.kif 1748-1748 Quantity is a subclass of abstract
s__instance(s__Relation,s__SetOrClass)

s__instance(s__Abstract,s__SetOrClass)

s__subclass(s__Relation,s__Abstract)

Merge.kif 2278-2278 Relation is a subclass of abstract
s__subclass(s__SetOrClass,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

Merge.kif 2238-2238 Set or class is a subclass of abstract
s__termFormat(s__ChineseLanguage,s__Abstract,'抽象体')

chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Abstract,'abstract')

english_format.kif 620-620 "abstract" is the printable form of abstract in english language
s__termFormat(s__JapaneseLanguage,s__Abstract,'抽象的な')

english_format.kif 621-621 "抽象的な" is the printable form of abstract in japanese language

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


s__domain(s__abstractCounterpart__m,1,s__Abstract)

Merge.kif 6242-6242 The number 1 argument of abstractCounterpart is an instance of abstract
s__domain(s__abstractPart__m,1,s__Abstract)

Mid-level-ontology.kif 20669-20669 The number 1 argument of abstract part is an instance of abstract
s__domain(s__abstractPart__m,2,s__Abstract)

Mid-level-ontology.kif 20670-20670 The number 2 argument of abstract part is an instance of abstract
s__domain(s__achievement__m,3,s__Abstract)

ComputingBrands.kif 1552-1552 The number 3 argument of achievement is an instance of abstract
s__domain(s__benchmark__m,1,s__Abstract)

FinancialOntology.kif 1591-1591 The number 1 argument of benchmark is an instance of abstract
s__domain(s__offers__m,2,s__Abstract)

Catalog.kif 82-82 The number 2 argument of offers is an instance of abstract
s__partition__3(s__Entity,s__Physical,s__Abstract)

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