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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Southwest

Sigma KEE - Southwest
Southwest(southwest)
southwest, southwesterly, southwestern, southwestward

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3673-3674
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10269-10269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11882-11882
No TPTP formula. May not be expressible in strict first order. Geography.kif 3670-3670 Southwest is an instance of directional attribute

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3671-3671 Southwest is an opposite direction of northeast
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54336-54336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54335-54335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54334-54334

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 285-285 Middle east region is southwest to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 6953-6953 Northern ireland is southwest to scotland
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 Oceania is southwest to north america

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


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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object


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