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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3621-3623
(domain headingWRTTrueNorth 1 Object) Geography.kif 3618-3618 headingWRT真北 的 1 数量 是 客体instance
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3619-3619 headingWRT真北 的 2 数量 是 平面角度测量instance
(instance headingWRTTrueNorth AsymmetricRelation) Geography.kif 3617-3617 headingWRT真北非对称关系instance
(instance headingWRTTrueNorth BinaryPredicate) Geography.kif 3616-3616 headingWRT真北二元谓语instance

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 27705-27705
(termFormat ChineseTraditionalLanguage headingWRTTrueNorth "headingWRT真北") domainEnglishFormat.kif 27704-27704
(termFormat EnglishLanguage headingWRTTrueNorth "headingWRT true north") domainEnglishFormat.kif 27703-27703


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