courseWRTMagneticNorth - Sigma Knowledge base Browser

appearance as argument number 1

(documentation courseWRTMagneticNorth EnglishLanguage "(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with the reference point of 000 degrees being the magnetic North pole.")	Geography.kif 3627-3630
(domain courseWRTMagneticNorth 1 Physical)	Geography.kif 3623-3623	The number 1 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 2 Physical)	Geography.kif 3624-3624	The number 2 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure)	Geography.kif 3625-3625	The number 3 argument of courseWRT magnetic north is an instance of plane angle measure
(instance courseWRTMagneticNorth TernaryPredicate)	Geography.kif 3622-3622	courseWRT magnetic north is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage courseWRTMagneticNorth "%1 %n{不是} 對於 %3 的 courseWRT 磁北 %2")	domainEnglishFormat.kif 564-564
(format ChineseTraditionalLanguage courseWRTMagneticNorth "%1 %n{不是} 對於 %3 的 courseWRT 磁北 %2 ")	domainEnglishFormat.kif 563-563
(format EnglishLanguage courseWRTMagneticNorth "%1 %n{doesn't} courseWRT magnetic north %2 for %3")	domainEnglishFormat.kif 562-562
(termFormat ChineseLanguage courseWRTMagneticNorth "courseWRT北磁")	domainEnglishFormat.kif 17551-17551	"courseWRT北磁" is the printable form of courseWRT magnetic north in ChineseLanguage
(termFormat ChineseTraditionalLanguage courseWRTMagneticNorth "courseWRT北磁")	domainEnglishFormat.kif 17550-17550	"courseWRT北磁" is the printable form of courseWRT magnetic north in ChineseTraditionalLanguage
(termFormat EnglishLanguage courseWRTMagneticNorth "courseWRT magnetic north")	domainEnglishFormat.kif 17549-17549	"courseWRT magnetic north" is the printable form of courseWRT magnetic north in english language

antecedent

(=>
    (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

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: