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



KB Term:  Term intersection
English Word: 

  headingWRTCompassNorth

Sigma KEE - headingWRTCompassNorth
headingWRTCompassNorth

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


(instance headingWRTCompassNorth BinaryPredicate) Geography.kif 5140-5140 headingWRT compass north is an instance of binary predicate
(instance headingWRTCompassNorth AsymmetricRelation) Geography.kif 5141-5141 headingWRT compass north is an instance of asymmetric relation
(domain headingWRTCompassNorth 1 Object) Geography.kif 5142-5142 The number 1 argument of headingWRT compass north is an instance of object
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 5143-5143 The number 2 argument of headingWRT compass north is an instance of plane angle measure
(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 5145-5147 The number 2 argument of headingWRT compass north is an instance of plane angle measure

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners