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

Formal Language: 



KB Term:  Term intersection
English Word: 

  magneticVariation

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 3597-3601
(domain magneticVariation 1 GeographicArea) Geography.kif 3593-3593
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3594-3594
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3595-3595
(instance magneticVariation TernaryPredicate) Geography.kif 3592-3592

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


(format EnglishLanguage magneticVariation "%1 %n{doesn't} magnetic variation %2 for %3") domainEnglishFormat.kif 407-407
(termFormat EnglishLanguage magneticVariation "magnetic variation") domainEnglishFormat.kif 6356-6356

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 3619-3636
(=>
    (magneticVariation ?AREA ?DEGREE ?DIRECTION)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 3603-3607


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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