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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1544-1544 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1705-1707
No TPTP formula. May not be expressible in strict first order. Merge.kif 1546-1550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9887-9887 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Black_Square.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10374-10374 "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10375-10375 "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1574-1574 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. engineering.kif 68-68 Model is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1948-1948 Process task is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3277 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1568-1568 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2033-2033 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2002-2002 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 913-913 "abstract" is the printable form of abstract in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5643-5643 The number 1 argument of abstractCounterpart is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20574-20574 The number 1 argument of abstract part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20575-20575 The number 2 argument of abstract part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1552-1552 The number 3 argument of achievement is an instance of abstract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1589-1589 The number 1 argument of benchmark is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Catalog.kif 82-82 The number 2 argument of offers is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 782-782 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