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 3639-3641
(domain headingWRTCompassNorth 1 Object) Geography.kif 3636-3636 headingWRT罗盘北 的 1 数量 是 客体instance
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3637-3637 headingWRT罗盘北 的 2 数量 是 平面角度测量instance
(instance headingWRTCompassNorth AsymmetricRelation) Geography.kif 3635-3635 headingWRT罗盘北非对称关系instance
(instance headingWRTCompassNorth BinaryPredicate) Geography.kif 3634-3634 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 27693-27693
(termFormat ChineseTraditionalLanguage headingWRTCompassNorth "headingWRT羅盤北") domainEnglishFormat.kif 27692-27692
(termFormat EnglishLanguage headingWRTCompassNorth "headingWRT compass north") domainEnglishFormat.kif 27691-27691


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