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 1574-1574 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 1576-1580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9887-9887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10373-10373
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10374-10374
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10375-10375
No TPTP formula. May not be expressible in strict first order. Merge.kif 1573-1573 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1604-1604 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 3431-3431 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1598-1598 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2067-2067 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2036-2036 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853
No TPTP formula. May not be expressible in strict first order. english_format.kif 913-913

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5797-5797 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 20707-20707 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 20708-20708 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 1636-1636 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 781-781 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