| 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 3913-3915 | |
| (domain relativeBearing 1 Object) | Geography.kif 3909-3909 | The number 1 argument of relative bearing is an instance of object |
| (domain relativeBearing 2 Object) | Geography.kif 3910-3910 | The number 2 argument of relative bearing is an instance of object |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 3911-3911 | The number 3 argument of relative bearing is an instance of plane angle measure |
| (instance relativeBearing TernaryPredicate) | Geography.kif 3908-3908 | relative bearing is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage relativeBearing "%１ %n 是 对于 ％３ 的 relative 后代") | domainEnglishFormat.kif 2139-2139 | |
| (format ChineseTraditionalLanguage relativeBearing "%１ %n 是 對於 ％３ 的 relative 後代") | domainEnglishFormat.kif 2138-2138 | |
| (format EnglishLanguage relativeBearing "%1 is %n relative bearing %2 for %3") | domainEnglishFormat.kif 2137-2137 | |
| (termFormat ChineseLanguage relativeBearing "相对轴承") | domainEnglishFormat.kif 49361-49361 | |
| (termFormat ChineseTraditionalLanguage relativeBearing "相對軸承") | domainEnglishFormat.kif 49360-49360 | |
| (termFormat EnglishLanguage relativeBearing "relative bearing") | domainEnglishFormat.kif 49359-49359 |
|
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