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
courseWRTCompassNorth
Sigma KEE - courseWRTCompassNorth
courseWRTCompassNorth
appearance as argument number 1
(
documentation
courseWRTCompassNorth
EnglishLanguage
"(
courseWRTCompassNorth
?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in
AngularDegree
s, with the reference point of 000 degrees North as measured by compass on or at ?OBJ1.")
Geography.kif 3821-3825
(
domain
courseWRTCompassNorth
1
Physical
)
Geography.kif 3817-3817
域
courseWRT羅盤北
, 1 and
Physical
(
domain
courseWRTCompassNorth
2
Physical
)
Geography.kif 3818-3818
域
courseWRT羅盤北
, 2 and
Physical
(
domain
courseWRTCompassNorth
3
PlaneAngleMeasure
)
Geography.kif 3819-3819
域
courseWRT羅盤北
, 3 and
PlaneAngleMeasure
(
instance
courseWRTCompassNorth
TernaryPredicate
)
Geography.kif 3816-3816
例
courseWRT羅盤北
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
courseWRTCompassNorth
"%1 %n{不是} 对于 %3 的 courseWRT 指南针 %2")
domainEnglishFormat.kif 560-560
(
format
ChineseTraditionalLanguage
courseWRTCompassNorth
"%1 %n{不是} 對於 %3 的 courseWRT 指南針 %2 ")
domainEnglishFormat.kif 559-559
(
format
EnglishLanguage
courseWRTCompassNorth
"%1 %n{doesn't} courseWRT compass north %2 for %3")
domainEnglishFormat.kif 558-558
(
termFormat
ChineseLanguage
courseWRTCompassNorth
"courseWRT罗盘北")
domainEnglishFormat.kif 17616-17616
(
termFormat
ChineseTraditionalLanguage
courseWRTCompassNorth
"courseWRT羅盤北")
domainEnglishFormat.kif 17615-17615
(
termFormat
EnglishLanguage
courseWRTCompassNorth
"courseWRT compass north")
domainEnglishFormat.kif 17614-17614
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