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 3694-3698
(domain magneticVariation 1 GeographicArea) Geography.kif 3690-3690 The number 1 argument of magnetic variation is an instance of geographic area
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3691-3691 The number 2 argument of magnetic variation is an instance of plane angle measure
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3692-3692 The number 3 argument of magnetic variation is an instance of directional attribute
(instance magneticVariation TernaryPredicate) Geography.kif 3689-3689 magnetic variation is an instance of ternary predicate

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 35610-35610
(termFormat ChineseTraditionalLanguage magneticVariation "磁變化") domainEnglishFormat.kif 35609-35609
(termFormat EnglishLanguage magneticVariation "magnetic variation") domainEnglishFormat.kif 35608-35608

antecedent
-------------------------


(=>
    (magneticVariation ?AREA ?DEGREE ?DIRECTION)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))
Geography.kif 3700-3704


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 3.0 is open source software produced by Articulate Software and its partners