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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - East
East(east)
E, due_east, east, east_side, easterly, eastern, easternmost, eastmost, eastside, eastward, eastwards

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 is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18134 West is an opposite direction of east

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 is the opposite of south
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe is east to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 Isle of man is east to northern ireland
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 North america is east to asia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17028-17030 An object is east to another object if and only if the other object is west to the object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4662-4669 The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners