TreeView Knowledge Base Browser

appearance as argument number 1

(instance Northwest DirectionalAttribute)	Geography.kif 5110-5110	Northwest of is an instance of directional attribute
(oppositeDirection Northwest Southeast)	Geography.kif 5111-5111	Southeast of is an opposite direction of northwest of
(documentation Northwest EnglishLanguage "Northwest represents the compass direction of Northwest.")	Geography.kif 5113-5114	Southeast of is an opposite direction of northwest of
(externalImage Northwest "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png")	pictureList.kif 10152-10152	Southeast of is an opposite direction of northwest of
(externalImage Northwest "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ CompassRose16_NW.png")	pictureList.kif 11510-11510	Southeast of is an opposite direction of northwest of

appearance as argument number 2

(termFormat EnglishLanguage Northwest "northwest of")	domainEnglishFormat.kif 41228-41228
(termFormat ChineseTraditionalLanguage Northwest "西北")	domainEnglishFormat.kif 41229-41229
(termFormat ChineseLanguage Northwest "西北")	domainEnglishFormat.kif 41230-41230

appearance as argument number 3

(orientation Asia Oceania Northwest)	Geography.kif 281-281	Asia is northwest of to oceania
(orientation MountWhitney BadwaterBasin Northwest)	Geography.kif 534-534	Mount Whitney is northwest of to Badwater Basin
(orientation Alaska BritishColumbia Northwest)	Geography.kif 1535-1535	Alaska is northwest of to British Columbia
(orientation NorthernIreland England Northwest)	Geography.kif 8618-8618	Northern ireland is northwest of to England
(orientation NorthernIreland Wales Northwest)	Geography.kif 8627-8627	Northern ireland is northwest of to Wales

antecedent

(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))

X is northwest of to Y if, only if X is north of to Y, and X is west of to Y

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest))	Geography.kif 5191-5193	X courseWRT true north Y for 315.0 angular degree(s) if and only if X is northwest of to Y
(=> (and (instance ?W Mistral) (eventLocated ?W ?A)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A Northwest)))	Weather.kif 2096-2102	If X is an instance of mistral and X is located at Y, then northwest of is a surface wind direction of Y holds during the time of existence of X