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
courseWRTTrueNorth
Sigma KEE - courseWRTTrueNorth
courseWRTTrueNorth
appearance as argument number 1
(
documentation
courseWRTTrueNorth
EnglishLanguage
"(
courseWRTTrueNorth
?OBJ1 ?OBJ2 ?HEADING) means that the course heading or track from ?OBJ1 to ?OBJ2 is ?HEADING, in
AngularDegree
s, with the reference point of 000 degrees being true North.")
Geography.kif 3726-3729
(
domain
courseWRTTrueNorth
1
Physical
)
Geography.kif 3722-3722
courseWRTTrueNorth
の数値 1 引数は
物理
の
instance
では %n
(
domain
courseWRTTrueNorth
2
Physical
)
Geography.kif 3723-3723
courseWRTTrueNorth
の数値 2 引数は
物理
の
instance
では %n
(
domain
courseWRTTrueNorth
3
PlaneAngleMeasure
)
Geography.kif 3724-3724
courseWRTTrueNorth
の数値 3 引数は
平面角度測定
の
instance
では %n
(
instance
courseWRTTrueNorth
TernaryPredicate
)
Geography.kif 3721-3721
courseWRTTrueNorth
は
3進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
courseWRTTrueNorth
"%1 %n{不} 对于 %3 courseWRT 实际北")
domainEnglishFormat.kif 568-568
(
format
ChineseTraditionalLanguage
courseWRTTrueNorth
"%1 %n{不} 對於 %3 courseWRT 實際北")
domainEnglishFormat.kif 567-567
(
format
EnglishLanguage
courseWRTTrueNorth
"%1 %n{doesn't} courseWRT true north %2 for %3")
domainEnglishFormat.kif 566-566
(
termFormat
ChineseLanguage
courseWRTTrueNorth
"courseWRT 真北")
domainEnglishFormat.kif 17628-17628
(
termFormat
ChineseTraditionalLanguage
courseWRTTrueNorth
"courseWRT 真北")
domainEnglishFormat.kif 17627-17627
(
termFormat
EnglishLanguage
courseWRTTrueNorth
"courseWRT true north")
domainEnglishFormat.kif 17626-17626
antecedent
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
0.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3731-3733
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 0.0 の
AngularDegree
(s)
オブジェクト
は
North
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
135.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southeast
))
Geography.kif 3755-3757
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 135.0 の
AngularDegree
(s)
オブジェクト
は
Southeast
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
180.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
South
))
Geography.kif 3739-3741
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 180.0 の
AngularDegree
(s)
オブジェクト
は
South
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
225.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southwest
))
Geography.kif 3759-3761
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 225.0 の
AngularDegree
(s)
オブジェクト
は
Southwest
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
270.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
West
))
Geography.kif 3743-3745
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 270.0 の
AngularDegree
(s)
オブジェクト
は
West
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
315.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northwest
))
Geography.kif 3763-3765
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 315.0 の
AngularDegree
(s)
オブジェクト
は
Northwest
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
360.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3747-3749
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 360.0 の
AngularDegree
(s)
オブジェクト
は
North
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
45.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northeast
))
Geography.kif 3751-3753
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 45.0 の
AngularDegree
(s)
オブジェクト
は
Northeast
対
オブジェクト
では %n
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
90.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
East
))
Geography.kif 3735-3737
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 90.0 の
AngularDegree
(s)
オブジェクト
は
East
対
オブジェクト
では %n
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