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 17094-17094
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 17093-17093 East e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18161-18161 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 17083-17083 North e' &o oposto de South
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe e' East em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 IsleOfMan e' East em relacao a NorthernIreland
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 NorthAmerica e' East em relacao a Asia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17099-17101 Objeto e' East em relacao a Objeto Objeto e' West em relacao a Objeto

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 Objeto e' Northeast em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 Objeto e' Southeast em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' East em relacao a Objeto
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