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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Above

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 16792-16792 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 16793-16796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10360-10360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10359-10359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10361-10361
No TPTP formula. May not be expressible in strict first order. Merge.kif 16791-16791 Above is an instance of AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16790-16790 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 5109-5109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5108-5108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5107-5107

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2536-2549
No TPTP formula. May not be expressible in strict first order. Weather.kif 2565-2579
No TPTP formula. May not be expressible in strict first order. Merge.kif 16798-16801

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16810-16814 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 7618-7620
No TPTP formula. May not be expressible in strict first order. Merge.kif 9617-9622
No TPTP formula. May not be expressible in strict first order. Geography.kif 5459-5468
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9138-9143
No TPTP formula. May not be expressible in strict first order. Geography.kif 4210-4219
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29694-29701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14829-14836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1992-2001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3825-3833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3905-3916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18571-18582


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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