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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Northwest

Sigma KEE - Northwest
Northwest

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 e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Geography.kif 3683-3683 oppositeDirection Northwest and Southeast

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


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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 281-281 Asia e' Northwest em relacao a Oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 NorthernIreland e' Northwest em relacao a England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 NorthernIreland e' Northwest em relacao a Wales

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 Objeto e' Northwest em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' West em relacao a Objeto

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto


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