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 3772-3776
(domain magneticVariation 1 GeographicArea) Geography.kif 3768-3768 磁变化 的 1 数量 是 地理区域 的 instance
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3769-3769 磁变化 的 2 数量 是 平面角度测量 的 instance
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3770-3770 磁变化 的 3 数量 是 方向属性 的 instance
(instance magneticVariation TernaryPredicate) Geography.kif 3767-3767 磁变化 是 三元谓语 的 instance

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 35627-35627
(termFormat ChineseTraditionalLanguage magneticVariation "磁變化") domainEnglishFormat.kif 35626-35626
(termFormat EnglishLanguage magneticVariation "magnetic variation") domainEnglishFormat.kif 35625-35625

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


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


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