Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
AngularDegree
s in ?DIRECTION (
East
or
West
).")
Geography.kif 3772-3776
(
domain
magneticVariation
1
GeographicArea
)
Geography.kif 3768-3768
Il numero 1 argomenti di
magneticVariation
è un
istanza
di
AreaGeografica
(
domain
magneticVariation
2
PlaneAngleMeasure
)
Geography.kif 3769-3769
Il numero 2 argomenti di
magneticVariation
è un
istanza
di
MisuraDiAngoloPiano
(
domain
magneticVariation
3
DirectionalAttribute
)
Geography.kif 3770-3770
Il numero 3 argomenti di
magneticVariation
è un
istanza
di
AttributoDirezionale
(
instance
magneticVariation
TernaryPredicate
)
Geography.kif 3767-3767
magneticVariation
è un'
istanza
di
PredicatoTernario
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
magneticVariation
AreaGeografica
,
MisuraDiAngoloPiano
and
AttributoDirezionale
AttributoDirezionale
is
uguale
a
East
AttributoDirezionale
is
uguale
a
West
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