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

Formal Language: 



KB Term:  Term intersection
English Word: 

  East

 Sigma KEE - East
East

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3806-3806
No TPTP formula. May not be expressible in strict first order. Merge.kif 17023-17023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1741-1741
No TPTP formula. May not be expressible in strict first order. Merge.kif 17022-17022 East est une instance de attribut directionnel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18134 oppositeDirection East and West

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20820-20820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20819-20819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20818-20818

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17012-17012 North est l'oppos� de South
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe est East � NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 IsleOfMan est East � NorthernIreland
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 NorthAmerica est East � Asia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17028-17030 Objet est East � objet objet est West � objet

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East � objet
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
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
No TPTP formula. May not be expressible in strict first order. Geography.kif 461-465
No TPTP formula. May not be expressible in strict first order. Geography.kif 3778-3782