| 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 "%１ %n 是 对于 ％３ 的 relative 后代") | domainEnglishFormat.kif 2135-2135 | |
| (format ChineseTraditionalLanguage relativeBearing "%１ %n 是 對於 ％３ 的 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