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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Southeast
Southeast

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3661-3662
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10267-10267
No TPTP formula. May not be expressible in strict first order. Geography.kif 3659-3659 Southeast est une instance de attribut directionnel

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3683-3683 oppositeDirection Northwest and Southeast
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54090-54090
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54089-54089
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54088-54088

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 Africa est Southeast � NorthAmerica

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 Objet est Southeast � objet objet est South � objet objet est East � objet