| 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 3714-3717 | |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3710-3710 | courseWRT 真北 的 1 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3711-3711 | courseWRT 真北 的 2 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3712-3712 | courseWRT 真北 的 3 数量 是 平面角度测量 的 instance |
| (instance courseWRTTrueNorth TernaryPredicate) | Geography.kif 3709-3709 | courseWRT 真北 是 三元谓语 的 instance |
| 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 | |
| (names "geodetic north" courseWRTTrueNorth) | Geography.kif 3839-3839 | courseWRT 真北 的名 是 "geodetic north" |
| (names "geographic north" courseWRTTrueNorth) | Geography.kif 3838-3838 | courseWRT 真北 的名 是 "geographic north" |
| (names "true north" courseWRTTrueNorth) | Geography.kif 3840-3840 | courseWRT 真北 的名 是 "true north" |
| (relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) | Geography.kif 3770-3770 | 地磁偏角 和 courseWRT 真北 是 内部相关 |
| (relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) | Geography.kif 3773-3773 | headingWRT真北 和 courseWRT 真北 是 内部相关 |
| (termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17637-17637 | headingWRT真北 和 courseWRT 真北 是 内部相关 |
| (termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17636-17636 | headingWRT真北 和 courseWRT 真北 是 内部相关 |
| (termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") | domainEnglishFormat.kif 17635-17635 | headingWRT真北 和 courseWRT 真北 是 内部相关 |
| antecedent |
|
|
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3719-3721 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3743-3745 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3727-3729 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3747-3749 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西南 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3731-3733 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西方 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3751-3753 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3735-3737 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3739-3741 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东北 |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3723-3725 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东 |
|
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