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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - relativeBearing
relativeBearing

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


(documentation relativeBearing EnglishLanguage "(relativeBearing ?OBJ1?OBJ2 ?DEGREES) means that ?OBJ1 and ?OBJ2 are separated by the amount ?DEGREES of PlaneAngleMeasure.") Geography.kif 3754-3756
(domain relativeBearing 1 Object) Geography.kif 3750-3750 相对轴承 的 1 数量 是 客体instance
(domain relativeBearing 2 Object) Geography.kif 3751-3751 相对轴承 的 2 数量 是 客体instance
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3752-3752 相对轴承 的 3 数量 是 平面角度测量instance
(instance relativeBearing TernaryPredicate) Geography.kif 3749-3749 相对轴承三元谓语instance

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


(format ChineseLanguage relativeBearing "%1 %n 是 对于 %3 的 relative 后代") domainEnglishFormat.kif 2135-2135
(format ChineseTraditionalLanguage relativeBearing "%1 %n 是 對於 %3 的 relative 後代") domainEnglishFormat.kif 2134-2134
(format EnglishLanguage relativeBearing "%1 is %n relative bearing %2 for %3") domainEnglishFormat.kif 2133-2133
(termFormat ChineseLanguage relativeBearing "相对轴承") domainEnglishFormat.kif 49311-49311
(termFormat ChineseTraditionalLanguage relativeBearing "相對軸承") domainEnglishFormat.kif 49310-49310
(termFormat EnglishLanguage relativeBearing "relative bearing") domainEnglishFormat.kif 49309-49309


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