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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Above

 Sigma KEE - Above
Above

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17144-17144 Above est l'oppos� de 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 17145-17148
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 17143-17143 Above est une instance de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17142-17142 Above est une instance de attribut positionnel

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 2520-2533
No TPTP formula. May not be expressible in strict first order. Weather.kif 2549-2563
No TPTP formula. May not be expressible in strict first order. Merge.kif 17150-17153

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17162-17166 Objet est Below � objet objet est On � objet objet est Above � objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 7750-7752
No TPTP formula. May not be expressible in strict first order. Merge.kif 9751-9756
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 9566-9571
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 30340-30347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15412-15419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2030-2039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3871-3879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3951-3962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19247-19258


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