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 1579-1579 Abstract is disjointly decomposed into quantity, attribute, set or class, 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 1581-1585
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 1578-1578 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1609-1609 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2769-2769 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 3436-3436 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1603-1603 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2072-2072 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2041-2041 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 5807-5807 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 20713-20713 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 20714-20714 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 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 3.0 is open source software produced by Articulate Software and its partners