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 The number 1 argument of headingWRT compass north is an instance of object
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3715-3715 The number 2 argument of headingWRT compass north is an instance of plane angle measure
(instance headingWRTCompassNorth AsymmetricRelation) Geography.kif 3713-3713 headingWRT compass north is an instance of asymmetric relation
(instance headingWRTCompassNorth BinaryPredicate) Geography.kif 3712-3712 headingWRT compass north is an instance of binary predicate

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