| 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 3564-3567 | |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3560-3560 | |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3561-3561 | |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3562-3562 | |
| (instance courseWRTTrueNorth TernaryPredicate) | Geography.kif 3559-3559 |
| 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 17551-17551 | |
| (termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") | domainEnglishFormat.kif 17550-17550 | |
| (termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") | domainEnglishFormat.kif 17549-17549 |
| antecedent |
|
|
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3569-3571 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3593-3595 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3577-3579 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3597-3599 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3581-3583 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3601-3603 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3585-3587 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3589-3591 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3573-3575 |
| consequent |
|
|
| (=> (and (courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE) (partlyLocated ?OBJ1 ?AREA) (partlyLocated ?OBJ2 ?AREA) (magneticVariation ?AREA ?DEGREE ?DIRECTION)) (exists (?DIFFDEGREE ?TRUEDEGREE) (and (=> (and (equal ?DIRECTION East) (equal ?DIFFDEGREE (AdditionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE)) (=> (and (equal ?DIRECTION West) (equal ?DIFFDEGREE (SubtractionFn ?MAGDEGREE ?DEGREE))) (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))))) |
Geography.kif 3632-3649 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners