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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation Northwest EnglishLanguage "Northwest represents the compass direction of Northwest.") Geography.kif 3510-3511
(externalImage Northwest "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ CompassRose16_NW.png") pictureList.kif 11544-11544 "http://upload.wikimedia.org/wikipedia/commons/4/48/ CompassRose16_NW.png" is a URL depicting northwest
(externalImage Northwest "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10175-10175 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Compass_%28PSF%29.png" is a URL depicting northwest
(instance Northwest DirectionalAttribute) Geography.kif 3507-3507 Northwest is an instance of directional attribute
(oppositeDirection Northwest Southeast) Geography.kif 3508-3508 Southeast is an opposite direction of northwest

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


(termFormat EnglishLanguage Northwest "northwest") domainEnglishFormat.kif 7290-7290 "northwest" is the printable form of northwest in english language

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


(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia is northwest to oceania
(orientation NorthernIreland England Northwest) Geography.kif 6276-6276 Northern ireland is northwest to England
(orientation NorthernIreland Wales Northwest) Geography.kif 6285-6285 Northern ireland is northwest to Wales

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3513-3517 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
-------------------------


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3588-3590 An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners