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 1629-1629 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 1631-1635
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9877-9877
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10362-10362
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10363-10363
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10364-10364
No TPTP formula. May not be expressible in strict first order. Merge.kif 1628-1628 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1659-1659 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2834-2834 List is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1942-1942 Process task is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 3514-3514 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1653-1653 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2118-2118 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2087-2087 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 908-908

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6050-6050 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 22743-22743 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 22744-22744 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 1647-1647 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 810-810 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