| 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 3832-3834 | |
| (domain relativeBearing 1 Object) | Geography.kif 3828-3828 | The number 1 argument of relative bearing is an instance of object |
| (domain relativeBearing 2 Object) | Geography.kif 3829-3829 | The number 2 argument of relative bearing is an instance of object |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 3830-3830 | The number 3 argument of relative bearing is an instance of plane angle measure |
| (instance relativeBearing TernaryPredicate) | Geography.kif 3827-3827 | relative bearing is an instance of ternary predicate |
| 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 49368-49368 | |
| (termFormat ChineseTraditionalLanguage relativeBearing "相對軸承") | domainEnglishFormat.kif 49367-49367 | |
| (termFormat EnglishLanguage relativeBearing "relative bearing") | domainEnglishFormat.kif 49366-49366 |
|
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