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

Formal Language: 



KB Term:  Term intersection
English Word: 

  West

Sigma KEE - West
West(west)
W, due_west, west, west_side, westbound, westerly, western, westernmost, westmost, westside, westward, westwards

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3807-3807
No TPTP formula. May not be expressible in strict first order. Merge.kif 17026-17026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2059-2059
No TPTP formula. May not be expressible in strict first order. Merge.kif 17025-17025 West is an instance of directional attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18134 West is an opposite direction of east
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62709-62709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62708-62708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62707-62707

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 276-276 Europe is west to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 6966-6966 Ireland is west to Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6961-6961 Wales is west to England

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17012-17012 North is the opposite of south

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
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
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3676-3680 An object is southwest to another object if and only if the object is south to the other object and the object is west 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


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

Show without tree


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