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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Northwest

Sigma KEE - Northwest
Northwest(northwest)
northwest, northwesterly, northwestern, northwestward

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3685-3686
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11517-11517
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10154-10154
No TPTP formula. May not be expressible in strict first order. Geography.kif 3682-3682 Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3683-3683 Southeast is an opposite direction of northwest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41223-41223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41222-41222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41221-41221

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 281-281 Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 Northern ireland is northwest to England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 Northern ireland is northwest to Wales

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


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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest 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