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

Formal Language: 



KB Term:  Term intersection
English Word: 

  headingWRTTrueNorth

Sigma KEE - headingWRTTrueNorth
headingWRTTrueNorth

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


(documentation headingWRTTrueNorth EnglishLanguage "(headingWRTTrueNorth ?OBJ ?DEGREE) means that the front-to-back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to true North.") Geography.kif 3699-3701
(domain headingWRTTrueNorth 1 Object) Geography.kif 3696-3696 headingWRTTrueNorth の数値 1 引数は オブジェクトinstance では %n
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3697-3697 headingWRTTrueNorth の数値 2 引数は 平面角度測定instance では %n
(instance headingWRTTrueNorth AsymmetricRelation) Geography.kif 3695-3695 headingWRTTrueNorth非対称関係instance では %n
(instance headingWRTTrueNorth BinaryPredicate) Geography.kif 3694-3694 headingWRTTrueNorth2進述語instance では %n

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


(format ChineseLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 实际北极") domainEnglishFormat.kif 1161-1161
(format ChineseTraditionalLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 實際北極") domainEnglishFormat.kif 1160-1160
(format EnglishLanguage headingWRTTrueNorth "%2 is %n a headingWRT true north of %1") domainEnglishFormat.kif 1159-1159
(termFormat ChineseLanguage headingWRTTrueNorth "headingWRT真北") domainEnglishFormat.kif 27714-27714
(termFormat ChineseTraditionalLanguage headingWRTTrueNorth "headingWRT真北") domainEnglishFormat.kif 27713-27713
(termFormat EnglishLanguage headingWRTTrueNorth "headingWRT true north") domainEnglishFormat.kif 27712-27712


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 is open source software produced by Articulate Software and its partners