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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - headingWRTCompassNorth
headingWRTCompassNorth

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


(documentation headingWRTCompassNorth EnglishLanguage "(headingWRTCompassNorth ?OBJ ?DEGREE) means that the front-to-back axis of the Object ?OBJ points in the direction ?DEGREE, according to the compass carried by ?OBJ.") Geography.kif 3717-3719
(domain headingWRTCompassNorth 1 Object) Geography.kif 3714-3714 headingWRT罗盘北 的 1 数量 是 客体instance
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3715-3715 headingWRT罗盘北 的 2 数量 是 平面角度测量instance
(instance headingWRTCompassNorth AsymmetricRelation) Geography.kif 3713-3713 headingWRT罗盘北非对称关系instance
(instance headingWRTCompassNorth BinaryPredicate) Geography.kif 3712-3712 headingWRT罗盘北二元谓语instance

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


(format ChineseLanguage headingWRTCompassNorth "%2 %n 是 %1 的 headingWRT 指南北极") domainEnglishFormat.kif 1153-1153
(format ChineseTraditionalLanguage headingWRTCompassNorth "%2 %n 是 %1 的 headingWRT 指南北極") domainEnglishFormat.kif 1152-1152
(format EnglishLanguage headingWRTCompassNorth "%2 is %n a headingWRT compass north of %1") domainEnglishFormat.kif 1151-1151
(termFormat ChineseLanguage headingWRTCompassNorth "headingWRT罗盘北") domainEnglishFormat.kif 27702-27702
(termFormat ChineseTraditionalLanguage headingWRTCompassNorth "headingWRT羅盤北") domainEnglishFormat.kif 27701-27701
(termFormat EnglishLanguage headingWRTCompassNorth "headingWRT compass north") domainEnglishFormat.kif 27700-27700


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