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 1578-1578 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
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 1580-1584
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 1577-1577 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1608-1608 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2768-2768 List 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 3441-3441 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1602-1602 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2071-2071 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2040-2040 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 5814-5814 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 19231-19231 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 19232-19232 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 1630-1630 The number 3 argument of achievement is an instance of abstract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1602-1602 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