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 1665-1665 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 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. Merge.kif 1667-1671 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 306-310 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9868-9868 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10350-10350 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10351-10351 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10352-10352 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. Merge.kif 1664-1664 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1695-1695 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2873-2873 List is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2073-2073 Process task is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 3555-3555 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1689-1689 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2155-2155 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2124-2124 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. english_format.kif 908-908 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. french_format.kif 529-529 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 60-60 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-it.txt 63-63 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2214-2214 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 481-481 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 65-65 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 96-96 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-de.txt 355-355 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 550-550 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 64-64 Set or class is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6121-6121 The number 1 argument of abstract counterpart is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24455-24455 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 24456-24456 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 1661-1661 The number 3 argument of achievement is an instance of abstract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1663-1663 The number 1 argument of benchmark is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Catalog.kif 83-83 The number 2 argument of offers is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 809-809 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