courseWRTTrueNorth |
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 | Die Zahl 1 Argument von courseWRTTrueNorth ist ein fall von Physical %n{nicht} |
(domain courseWRTTrueNorth 2 Physical) | Geography.kif 3723-3723 | Die Zahl 2 Argument von courseWRTTrueNorth ist ein fall von Physical %n{nicht} |
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3724-3724 | Die Zahl 3 Argument von courseWRTTrueNorth ist ein fall von PlaneAngleMeasure %n{nicht} |
(instance courseWRTTrueNorth TernaryPredicate) | Geography.kif 3721-3721 | courseWRTTrueNorth ist ein fall von TernaryPredicate %n{nicht} |
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 | courseWRTTrueNorth Object, ** Object and 0.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 | courseWRTTrueNorth Object, ** Object and 135.0 AngularDegree(s) genau dann wenn ** Object ist Southeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 | courseWRTTrueNorth Object, ** Object and 180.0 AngularDegree(s) genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 | courseWRTTrueNorth Object, ** Object and 225.0 AngularDegree(s) genau dann wenn ** Object ist Southwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 | courseWRTTrueNorth Object, ** Object and 270.0 AngularDegree(s) genau dann wenn ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 | courseWRTTrueNorth Object, ** Object and 315.0 AngularDegree(s) genau dann wenn ** Object ist Northwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 | courseWRTTrueNorth Object, ** Object and 360.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 | courseWRTTrueNorth Object, ** Object and 45.0 AngularDegree(s) genau dann wenn ** Object ist Northeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 | courseWRTTrueNorth Object, ** Object and 90.0 AngularDegree(s) genau dann wenn ** Object ist East hinsichlich ** ** Object %n{nicht} |