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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Southwest
Southwest(西南)

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


(documentation Southwest EnglishLanguage "Southwest represents the compass direction of Southwest.") Geography.kif 3606-3607
(externalImage Southwest "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10279-10279
(externalImage Southwest "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ CompassRose16_SW.png") pictureList.kif 11898-11898
(instance Southwest DirectionalAttribute) Geography.kif 3603-3603 西南方向属性instance

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


(oppositeDirection Northeast Southwest) Geography.kif 3604-3604 西南东北opposite 方向
(termFormat ChineseLanguage Southwest "西南") domainEnglishFormat.kif 54322-54322
(termFormat ChineseTraditionalLanguage Southwest "西南") domainEnglishFormat.kif 54321-54321
(termFormat EnglishLanguage Southwest "southwest") domainEnglishFormat.kif 54320-54320

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


(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 中东地区亚洲西南
(orientation NorthernIreland Scotland Southwest) Geography.kif 6653-6653 北爱尔兰苏格兰西南
(orientation Oceania NorthAmerica Southwest) Geography.kif 284-284 大洋洲北美西南

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3609-3613 客体另一个 客体西南 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3692-3694 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体西南


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 3.0 is open source software produced by Articulate Software and its partners