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
headingWRTMagneticNorth
Sigma KEE - headingWRTMagneticNorth
headingWRTMagneticNorth
appearance as argument number 1
(
documentation
headingWRTMagneticNorth
EnglishLanguage
"(
headingWRTMagneticNorth
?OBJ ?DEGREE) means that the front-to-back axis of the
Object
?OBJ points in the direction ?DEGREE, with respect to magnetic North.")
Geography.kif 3708-3710
(
domain
headingWRTMagneticNorth
1
Object
)
Geography.kif 3705-3705
(
domain
headingWRTMagneticNorth
2
PlaneAngleMeasure
)
Geography.kif 3706-3706
(
instance
headingWRTMagneticNorth
AsymmetricRelation
)
Geography.kif 3704-3704
(
instance
headingWRTMagneticNorth
BinaryPredicate
)
Geography.kif 3703-3703
appearance as argument number 2
(
format
ChineseLanguage
headingWRTMagneticNorth
"%2 %n 是 %1 的 headingWRT 磁北极")
domainEnglishFormat.kif 1157-1157
(
format
ChineseTraditionalLanguage
headingWRTMagneticNorth
"%2 %n 是 %1 的 headingWRT 磁北極")
domainEnglishFormat.kif 1156-1156
(
format
EnglishLanguage
headingWRTMagneticNorth
"%2 is %n a headingWRT magnetic north of %1")
domainEnglishFormat.kif 1155-1155
(
termFormat
ChineseLanguage
headingWRTMagneticNorth
"headingWRT磁北")
domainEnglishFormat.kif 27708-27708
(
termFormat
ChineseTraditionalLanguage
headingWRTMagneticNorth
"headingWRT磁北")
domainEnglishFormat.kif 27707-27707
(
termFormat
EnglishLanguage
headingWRTMagneticNorth
"headingWRT magnetic north")
domainEnglishFormat.kif 27706-27706
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