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 17045-17045
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 17044-17044 East e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18133-18133 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 17034-17034 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 17050-17052 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