Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - magneticVariation
magneticVariation

appearance as argument number 1
-------------------------


(documentation magneticVariation EnglishLanguage "(magneticVariation ?AREA ?DEGREE ?DIRECTION) means that in the GeographicArea ?AREA, the magnetic variation of a compass from 000 degrees true is ?DEGREE AngularDegrees in ?DIRECTION (East or West).") Geography.kif 3610-3614
(domain magneticVariation 1 GeographicArea) Geography.kif 3606-3606 domain magneticVariation, 1 and GeographicArea
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3607-3607 domain magneticVariation, 2 and PlaneAngleMeasure
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3608-3608 domain magneticVariation, 3 and DirectionalAttribute
(instance magneticVariation TernaryPredicate) Geography.kif 3605-3605 instance magneticVariation and TernaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage magneticVariation "%1 %n{不} 对于 %3 magnetic 变化 %2 ") domainEnglishFormat.kif 1595-1595
(format ChineseTraditionalLanguage magneticVariation "%1 %n{不} 對於 %3 magnetic 變化 %2 ") domainEnglishFormat.kif 1594-1594
(format EnglishLanguage magneticVariation "%1 %n{doesn't} magnetic variation %2 for %3") domainEnglishFormat.kif 1593-1593
(termFormat ChineseLanguage magneticVariation "磁变化") domainEnglishFormat.kif 35521-35521
(termFormat ChineseTraditionalLanguage magneticVariation "磁變化") domainEnglishFormat.kif 35520-35520
(termFormat EnglishLanguage magneticVariation "magnetic variation") domainEnglishFormat.kif 35519-35519

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
(=>
    (magneticVariation ?AREA ?DEGREE ?DIRECTION)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 3616-3620


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