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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Above
Above(above)
above, elevated, higher_up, in_a_higher_place, lifted, main_deck, overhead, raised, royal, royal_mast, second_deck, superstructure, supra, to_a_higher_place, up, upper, upper_berth, upper_deck, upraised

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 Above is the opposite of below
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3817-3818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17074-17077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10350-10350
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10349-10349
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10351-10351
No TPTP formula. May not be expressible in strict first order. Merge.kif 17072-17072 Above is an instance of anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17071-17071 Above is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5100-5100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5099-5099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5098-5098
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 533-533

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17082

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7716
No TPTP formula. May not be expressible in strict first order. Merge.kif 9715-9720
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1469-1481
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1488-1500
No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9539-9544
No TPTP formula. May not be expressible in strict first order. Geography.kif 4288-4297
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1157-1165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30316-30323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15385-15392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2037-2046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3878-3886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19220-19231


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