Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 3884-3887
(
domain
courseWRTTrueNorth
1
Physical
)
Geography.kif 3880-3880
courseWRTTrueNorth
の数値 1 引数は
物理
の
instance
では
(
domain
courseWRTTrueNorth
2
Physical
)
Geography.kif 3881-3881
courseWRTTrueNorth
の数値 2 引数は
物理
の
instance
では
(
domain
courseWRTTrueNorth
3
PlaneAngleMeasure
)
Geography.kif 3882-3882
courseWRTTrueNorth
の数値 3 引数は
平面角度測定
の
instance
では
(
instance
courseWRTTrueNorth
TernaryPredicate
)
Geography.kif 3879-3879
courseWRTTrueNorth
は
3進述語
の
instance
では
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
(
names
"geodetic north"
courseWRTTrueNorth
)
Geography.kif 4009-4009
courseWRTTrueNorth
は "geodetic north" の &ames$"name" を 持って
(
names
"geographic north"
courseWRTTrueNorth
)
Geography.kif 4008-4008
courseWRTTrueNorth
は "geographic north" の &ames$"name" を 持って
(
names
"true north"
courseWRTTrueNorth
)
Geography.kif 4010-4010
courseWRTTrueNorth
は "true north" の &ames$"name" を 持って
(
relatedInternalConcept
MagneticDeclinationFn
courseWRTTrueNorth
)
Geography.kif 3940-3940
MagneticDeclinationFn
は
courseWRTTrueNorth
に
internally
関連して
(
relatedInternalConcept
headingWRTTrueNorth
courseWRTTrueNorth
)
Geography.kif 3943-3943
headingWRTTrueNorth
は
courseWRTTrueNorth
に
internally
関連して
(
termFormat
ChineseLanguage
courseWRTTrueNorth
"courseWRT 真北")
domainEnglishFormat.kif 17637-17637
headingWRTTrueNorth
は
courseWRTTrueNorth
に
internally
関連して
(
termFormat
ChineseTraditionalLanguage
courseWRTTrueNorth
"courseWRT 真北")
domainEnglishFormat.kif 17636-17636
headingWRTTrueNorth
は
courseWRTTrueNorth
に
internally
関連して
(
termFormat
EnglishLanguage
courseWRTTrueNorth
"courseWRT true north")
domainEnglishFormat.kif 17635-17635
headingWRTTrueNorth
は
courseWRTTrueNorth
に
internally
関連して
antecedent
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
0.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3889-3891
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 0.0 の
AngularDegree
(s)
オブジェクト
は
North
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
135.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southeast
))
Geography.kif 3913-3915
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 135.0 の
AngularDegree
(s)
オブジェクト
は
Southeast
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
180.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
South
))
Geography.kif 3897-3899
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 180.0 の
AngularDegree
(s)
オブジェクト
は
South
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
225.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Southwest
))
Geography.kif 3917-3919
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 225.0 の
AngularDegree
(s)
オブジェクト
は
Southwest
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
270.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
West
))
Geography.kif 3901-3903
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 270.0 の
AngularDegree
(s)
オブジェクト
は
West
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
315.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northwest
))
Geography.kif 3921-3923
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 315.0 の
AngularDegree
(s)
オブジェクト
は
Northwest
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
360.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
North
))
Geography.kif 3905-3907
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 360.0 の
AngularDegree
(s)
オブジェクト
は
North
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
45.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
Northeast
))
Geography.kif 3909-3911
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 45.0 の
AngularDegree
(s)
オブジェクト
は
Northeast
対
オブジェクト
では
(<=>
(
courseWRTTrueNorth
?OBJ1 ?OBJ2
(
MeasureFn
90.0
AngularDegree
))
(
orientation
?OBJ1 ?OBJ2
East
))
Geography.kif 3893-3895
courseWRTTrueNorth
オブジェクト
,
オブジェクト
and 90.0 の
AngularDegree
(s)
オブジェクト
は
East
対
オブジェクト
では
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