| appearance as argument number 1 |
|
| (documentation courseWRTTrueNorth EnglishLanguage "(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading or track from ?OBJ1 to ?OBJ2 is ?HEADING, in AngularDegrees, with the reference point of 000 degrees being true North.") | Geography.kif 3726-3729 | |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3722-3722 | 域 courseWRT 真北, 1 and Physical |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3723-3723 | 域 courseWRT 真北, 2 and Physical |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3724-3724 | 域 courseWRT 真北, 3 and PlaneAngleMeasure |
| (instance courseWRTTrueNorth TernaryPredicate) | Geography.kif 3721-3721 | 例 courseWRT 真北 and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage courseWRTTrueNorth "%1 %n{不} 对于 %3 courseWRT 实际北") | domainEnglishFormat.kif 568-568 | |
| (format ChineseTraditionalLanguage courseWRTTrueNorth "%1 %n{不} 對於 %3 courseWRT 實際北") | domainEnglishFormat.kif 567-567 | |
| (format EnglishLanguage courseWRTTrueNorth "%1 %n{doesn't} courseWRT true north %2 for %3") | domainEnglishFormat.kif 566-566 | |
| (termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17628-17628 | |
| (termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17627-17627 | |
| (termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") | domainEnglishFormat.kif 17626-17626 |
| antecedent |
|
|
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3731-3733 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 | Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東 |
|
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