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 16749-16749
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1742-1742
No TPTP formula. May not be expressible in strict first order. Merge.kif 16748-16748 East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17539-17539 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 20811-20811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20810-20810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20809-20809

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16738-16738 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 6653-6653 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 16754-16756 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 3657-3659 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 3575-3579 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 3586-3590 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 3700-3704

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4561-4568 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