TreeView Knowledge Base Browser

appearance as argument number 1

(instance Northeast DirectionalAttribute)	Geography.kif 5076-5076	Northeast of is an instance of directional attribute
(documentation Northeast EnglishLanguage "Northeast represents the compass direction of Northeast.")	Geography.kif 5078-5079	Northeast of is an instance of directional attribute
(oppositeDirection Northeast Southwest)	Geography.kif 5099-5099	Southwest of is an opposite direction of northeast of
(externalImage Northeast "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png")	pictureList.kif 10151-10151	Southwest of is an opposite direction of northeast of
(externalImage Northeast "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ CompassRose16_NE.png")	pictureList.kif 11509-11509	Southwest of is an opposite direction of northeast of

appearance as argument number 2

(termFormat EnglishLanguage Northeast "northeast of")	domainEnglishFormat.kif 41012-41012
(termFormat ChineseTraditionalLanguage Northeast "東北")	domainEnglishFormat.kif 41013-41013
(termFormat ChineseLanguage Northeast "东北")	domainEnglishFormat.kif 41014-41014

appearance as argument number 3

(orientation Africa SouthAmerica Northeast)	Geography.kif 280-280	Africa is northeast of to south america
(orientation Europe SouthAmerica Northeast)	Geography.kif 283-283	Europe is northeast of to south america
(orientation MiddleEastRegion Africa Northeast)	Geography.kif 286-286	Middle east region is northeast of to africa

antecedent

(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))

X is northeast of to Y if, only if X is north of to Y, and X is east of to Y

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast))	Geography.kif 5179-5181	X courseWRT true north Y for 45.0 angular degree(s) if and only if X is northeast of to Y
(=> (and (instance ?W HarmattanWind) (eventLocated ?W WesternAfrica) (origin ?W SaharaDesert) (destination ?W GulfOfGuinea) (located ?W ?LOC)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?LOC Northeast)))	Weather.kif 1994-2003	If X is an instance of harmattan wind, X is located at western africa, X originates at Sahara Desert, X ends up at Gulf Of Guinea, and X is located at Y, then northeast of is a surface wind direction of Y holds during the time of existence of X