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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Northeast
Northeast(东北)

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


(documentation Northeast EnglishLanguage "Northeast represents the compass direction of Northeast.") Geography.kif 3650-3651
(externalImage Northeast "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ CompassRose16_NE.png") pictureList.kif 11516-11516
(externalImage Northeast "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10153-10153
(instance Northeast DirectionalAttribute) Geography.kif 3648-3648 东北方向属性instance
(oppositeDirection Northeast Southwest) Geography.kif 3671-3671 西南东北opposite 方向

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


(termFormat ChineseLanguage Northeast "东北") domainEnglishFormat.kif 41007-41007
(termFormat ChineseTraditionalLanguage Northeast "東北") domainEnglishFormat.kif 41006-41006
(termFormat EnglishLanguage Northeast "northeast") domainEnglishFormat.kif 41005-41005

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


(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 非洲南美洲东北
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 欧洲南美洲东北
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 中东地区非洲东北

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3653-3657 客体另一个 客体东北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 客体 对于 %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