courseWRTTrueNorth - Sigma Knowledge base Browser

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 3551-3554
(domain courseWRTTrueNorth 1 Physical)	Geography.kif 3547-3547	The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical)	Geography.kif 3548-3548	The number 2 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 3 PlaneAngleMeasure)	Geography.kif 3549-3549	The number 3 argument of courseWRT true north is an instance of plane angle measure
(instance courseWRTTrueNorth TernaryPredicate)	Geography.kif 3546-3546	courseWRT true north is an instance of ternary predicate

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 17557-17557	"courseWRT 真北" is the printable form of courseWRT true north in ChineseLanguage
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北")	domainEnglishFormat.kif 17556-17556	"courseWRT 真北" is the printable form of courseWRT true north in ChineseTraditionalLanguage
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north")	domainEnglishFormat.kif 17555-17555	"courseWRT true north" is the printable form of courseWRT true north in english language

antecedent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3556-3558	An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast))	Geography.kif 3580-3582	An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3564-3566	An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest))	Geography.kif 3584-3586	An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 3568-3570	An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest))	Geography.kif 3588-3590	An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3572-3574	An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast))	Geography.kif 3576-3578	An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3560-3562	An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object

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 3619-3636

If a physical courseWRT magnetic north another physical for a plane angle measure and the physical is partly located in a geographic area and the other physical is partly located in the geographic area and the geographic area magnetic variation another plane angle measure for a directional attribute,
then there exist a quantity and a third plane angle measure such that
- if the directional attribute is equal to east and the quantity is equal to (the plane angle measure and the other plane angle measure),
- then the physical courseWRT true north the other physical for the third plane angle measure
and
- if the directional attribute is equal to west and the quantity is equal to (the plane angle measure and the other plane angle measure),
- then the physical courseWRT true north the other physical for the third plane angle measure

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

KB Term:			Term intersection

English Word: