Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Abstract
Abstract(abstract)
مُجَرَّد, Abstrato, Astratto, Bravais_lattice, Dewey_decimal_classification, Dewey_decimal_system, abstract, abstract_entity, abstraction, abstractionism, abstractness, abstrait, acceptation, amUrta, archetype, bodiless, buod, 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, hubo, ideal, idealisation, idealization, immaterial, immateriality, impalpability, incorporeal...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1704-1704 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1710-1712
No TPTP formula. May not be expressible in strict first order. Merge.kif 1705-1709
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9887-9887 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Black_Square.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10373-10373 "http://upload.wikimedia.org/wikipedia/commons/e/e0/ Theo_van_Doesburg_Counter-CompositionV_%281924%29.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10374-10374 "http://upload.wikimedia.org/wikipedia/en/3/39/Kandinsky_white.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10375-10375 "http://upload.wikimedia.org/wikipedia/en/9/9c/Mondrian_Comp10.jpg" is a URL depicting abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1703-1703 Abstract is a subclass of entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1732-1732 Attribute is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 5708-5708 Graph is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 5889-5889 Graph element 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 1931-1931 Process task is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 3639-3639 Proposition is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1725-1725 Quantity is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2255-2255 Relation is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 2215-2215 Set or class is a subclass of abstract
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 853-853 "抽象体" is the printable form of abstract in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 540-540 "abstract" is the printable form of abstract in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 529-529 "abstrait" is the printable form of abstract in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 60-60 "amUrta" is the printable form of abstract in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 61-61 "Astratto" is the printable form of abstract in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 481-481 "Abstrato" is the printable form of abstract in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 265-265 "مُجَرَّد" is the printable form of abstract in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 65-65 "hubo" is the printable form of abstract in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 96-96 "abstract" is the printable form of abstract in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 64-64 "buod" is the printable form of abstract in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6208-6208 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 20277-20277 The number 1 argument of part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20278-20278 The number 2 argument of part is an instance of abstract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1591-1591 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 840-840 Entity is exhaustively partitioned into physical and abstract

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1717-1723


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners