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
DistributiveShock
Sigma KEE - headingWRTCompassNorth
headingWRTCompassNorth
appearance as argument number 1
(
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 3717-3719
(
domain
headingWRTCompassNorth
1
Object
)
Geography.kif 3714-3714
Il numero 1 argomenti di
headingWRTCompassNorth
è un
istanza
di
Oggetto
(
domain
headingWRTCompassNorth
2
PlaneAngleMeasure
)
Geography.kif 3715-3715
Il numero 2 argomenti di
headingWRTCompassNorth
è un
istanza
di
MisuraDiAngoloPiano
(
instance
headingWRTCompassNorth
AsymmetricRelation
)
Geography.kif 3713-3713
headingWRTCompassNorth
è un'
istanza
di
RelazioneAsimmetrica
(
instance
headingWRTCompassNorth
BinaryPredicate
)
Geography.kif 3712-3712
headingWRTCompassNorth
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
headingWRTCompassNorth
"%2 %n 是 %1 的 headingWRT 指南北极")
domainEnglishFormat.kif 1153-1153
(
format
ChineseTraditionalLanguage
headingWRTCompassNorth
"%2 %n 是 %1 的 headingWRT 指南北極")
domainEnglishFormat.kif 1152-1152
(
format
EnglishLanguage
headingWRTCompassNorth
"%2 is %n a headingWRT compass north of %1")
domainEnglishFormat.kif 1151-1151
(
termFormat
ChineseLanguage
headingWRTCompassNorth
"headingWRT罗盘北")
domainEnglishFormat.kif 27702-27702
(
termFormat
ChineseTraditionalLanguage
headingWRTCompassNorth
"headingWRT羅盤北")
domainEnglishFormat.kif 27701-27701
(
termFormat
EnglishLanguage
headingWRTCompassNorth
"headingWRT compass north")
domainEnglishFormat.kif 27700-27700
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