Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
headingWRTCompassNorth
Sigma KEE - headingWRTCompassNorth
headingWRTCompassNorth
appearance as argument number 1
(
instance
headingWRTCompassNorth
BinaryPredicate
)
Geography.kif 5140-5140
headingWRT compass north
is an
instance
of
binary predicate
(
instance
headingWRTCompassNorth
AsymmetricRelation
)
Geography.kif 5141-5141
headingWRT compass north
is an
instance
of
asymmetric relation
(
domain
headingWRTCompassNorth
1
Object
)
Geography.kif 5142-5142
The number 1 argument of
headingWRT compass north
is an
instance
of
object
(
domain
headingWRTCompassNorth
2
PlaneAngleMeasure
)
Geography.kif 5143-5143
The number 2 argument of
headingWRT compass north
is an
instance
of
plane angle measure
(
documentation
headingWRTCompassNorth
EnglishLanguage
"(
headingWRTCompassNorth
?OBJ ?DEGREE) means that the front_to_back axis of the
Object
?OBJ points in the direction ?DEGREE, according to the compass carried by ?OBJ.")
Geography.kif 5145-5147
The number 2 argument of
headingWRT compass north
is an
instance
of
plane angle measure
appearance as argument number 2
(
format
EnglishLanguage
headingWRTCompassNorth
"%2 is %n a headingWRT compass north of %1")
domainEnglishFormat.kif 1151-1151
(
format
ChineseTraditionalLanguage
headingWRTCompassNorth
"%2 %n 是 %1 的 headingWRT 指南北極")
domainEnglishFormat.kif 1152-1152
(
format
ChineseLanguage
headingWRTCompassNorth
"%2 %n 是 %1 的 headingWRT 指南北极")
domainEnglishFormat.kif 1153-1153
(
termFormat
EnglishLanguage
headingWRTCompassNorth
"headingWRT compass north")
domainEnglishFormat.kif 27704-27704
(
termFormat
ChineseTraditionalLanguage
headingWRTCompassNorth
"headingWRT羅盤北")
domainEnglishFormat.kif 27705-27705
(
termFormat
ChineseLanguage
headingWRTCompassNorth
"headingWRT罗盘北")
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners