TreeView Knowledge Base Browser

appearance as argument number 1

(instance Southwest DirectionalAttribute)	Geography.kif 5098-5098	Southwest of is an instance of directional attribute
(documentation Southwest EnglishLanguage "Southwest represents the compass direction of Southwest.")	Geography.kif 5101-5102	Southwest of is an instance of directional attribute
(externalImage Southwest "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png")	pictureList.kif 10267-10267	Southwest of is an instance of directional attribute
(externalImage Southwest "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ CompassRose16_SW.png")	pictureList.kif 11875-11875	Southwest of is an instance of directional attribute

appearance as argument number 2

(oppositeDirection Northeast Southwest)	Geography.kif 5099-5099	Southwest of is an opposite direction of northeast of
(termFormat EnglishLanguage Southwest "southwest of")	domainEnglishFormat.kif 54331-54331	Southwest of is an opposite direction of northeast of
(termFormat ChineseTraditionalLanguage Southwest "西南")	domainEnglishFormat.kif 54332-54332	Southwest of is an opposite direction of northeast of
(termFormat ChineseLanguage Southwest "西南")	domainEnglishFormat.kif 54333-54333	Southwest of is an opposite direction of northeast of

appearance as argument number 3

(orientation Oceania NorthAmerica Southwest)	Geography.kif 284-284	Oceania is southwest of to north america
(orientation MiddleEastRegion Asia Southwest)	Geography.kif 285-285	Middle east region is southwest of to asia
(orientation NorthernIreland Scotland Southwest)	Geography.kif 8617-8617	Northern ireland is southwest of to scotland

antecedent

(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))

X is southwest of to Y if, only if X is south of to Y, and X is west of to Y

consequent

(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))

X courseWRT true north Y for 225.0 angular degree(s) if and only if X is southwest of to Y