| 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 | relativeBearing の数値 1 引数は オブジェクト の instance では %n |
| (domain relativeBearing 2 Object) | Geography.kif 3829-3829 | relativeBearing の数値 2 引数は オブジェクト の instance では %n |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 3830-3830 | relativeBearing の数値 3 引数は 平面角度測定 の instance では %n |
| (instance relativeBearing TernaryPredicate) | Geography.kif 3827-3827 | relativeBearing は 3進述語 の instance では %n |
| 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 49328-49328 | |
| (termFormat ChineseTraditionalLanguage relativeBearing "相對軸承") | domainEnglishFormat.kif 49327-49327 | |
| (termFormat EnglishLanguage relativeBearing "relative bearing") | domainEnglishFormat.kif 49326-49326 |
|
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