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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Northeast
Northeast

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3650-3651
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11516-11516
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10153-10153
No TPTP formula. May not be expressible in strict first order. Geography.kif 3648-3648 Northeast est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Geography.kif 3671-3671 oppositeDirection Northeast and Southwest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41007-41007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41006-41006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41005-41005

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 280-280 Africa est Northeast � SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 283-283 Europe est Northeast � SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 MiddleEastRegion est Northeast � Africa

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 Objet est Northeast � objet objet est North � objet objet est East � objet