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
height
Sigma KEE - height
height
appearance as argument number 1
(
documentation
height
ChineseLanguage
"一个
Object
的高度是它的顶部和底部之间的距离。")
chinese_format.kif 2642-2642
(
documentation
height
EnglishLanguage
"The height of an
Object
is the distance between its
top
and its
bottom
.")
Merge.kif 7553-7554
(
documentation
height
JapaneseLanguage
"
Object
の高さは、その
top
と
bottom
の間の距離 である。")
japanese_format.kif 1358-1359
(
domain
height
1
SelfConnectedObject
)
Merge.kif 7550-7550
Le nombre 1 argument de
height
est une
instance
de
objet en une partie
(
domain
height
2
LengthMeasure
)
Merge.kif 7551-7551
Le nombre 2 argument de
height
est une
instance
de
mesure de longueur
(
instance
height
BinaryPredicate
)
Merge.kif 7549-7549
height
est une
instance
de
pr�dicat binaire
(
subrelation
height
linearExtent
)
Merge.kif 7548-7548
height
est une
sous
-relation de
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
height
"%1 的
height
%n 是 %2")
chinese_format.kif 619-619
(
format
EnglishLanguage
height
"the
height
of %1 is %n %2")
english_format.kif 622-622
(
format
FrenchLanguage
height
"la hauteur de %1 est %n %2")
french_format.kif 374-374
(
format
ItalianLanguage
height
"l' altezza di %1 è %n %2")
relations-it.txt 127-127
(
format
JapaneseLanguage
height
"%1 の
height
は %2 では %n")
japanese_format.kif 2108-2108
(
format
PortugueseLanguage
height
"a altura de %1 e' %n %2")
portuguese_format.kif 326-326
(
format
de
height
"die hoehe von %1 ist %2 %n{nicht}")
relations-de.txt 812-812
(
format
hi
height
"%1 kii uunchaaii %2 %n hai")
relations-hindi.txt 167-167
(
format
ro
height
"
height
%t{înãlþimea} ?lui %1 %n{nu} este %2")
relations-ro.kif 396-396
(
format
sv
height
"höjden på %1 är %n{inte} %2")
relations-sv.txt 415-415
(
format
tg
height
"ang taas sa %1 %n ay %2")
relations-tg.txt 260-260
(
termFormat
ChineseLanguage
height
"高度")
chinese_format.kif 620-620
(
termFormat
ChineseTraditionalLanguage
height
"高度")
domainEnglishFormat.kif 27878-27878
(
termFormat
EnglishLanguage
height
"height")
domainEnglishFormat.kif 27877-27877
(
termFormat
tg
height
"taas")
relations-tg.txt 261-261
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9776-9781
La
hauteur
de
objet en une partie
est
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
objet en une partie
est
mesure de longueur
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
Objet en une partie
est une
instance
de
HumanAdult
la
hauteur
de
objet en une partie
est
nombre r�el
Inch
(s)
nombre r�el
est
plus
grand
que 120.0
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
Objet en une partie
est une
instance
de
Dune
la
hauteur
de
objet en une partie
est
nombre r�el
Centimeter
(s)
objet en une partie
est
plus
grand
que 7.0
(=>
(
and
(
instance
?TREE
BotanicalTree
)
(
instance
?BUSH
Shrub
)
(
instance
?U
UnitOfLength
)
(
height
?TREE
(
MeasureFn
?TALL ?U))
(
height
?BUSH
(
MeasureFn
?SHORT ?U)))
(
greaterThan
?TALL ?SHORT))
Geography.kif 6259-6268
Objet en une partie
est une
instance
de
BotanicalTree
objet en une partie
est une
instance
de
Shrub
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
Objet en une partie
est une
instance
de
Piedmont
MountainousTerrain
est un
attribut
de
objet en une partie
objet en une partie
est
Adjacent
�
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
maximumPayloadCapacity
Vehicle
and
nombre r�el
unit� de mesure
(s)
maximumPayloadHeightWidth
Vehicle
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
objet en une partie
est une
instance
de
objet en une partie
weight
objet en une partie
and
nombre r�el
nombre r�el
U(s) la
largeur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s) la
hauteur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s)
nombre r�el
U est
unit� de mesure
nombre r�el
U est
unit� de mesure
nombre r�el
U est
unit� de mesure
nombre r�el
est plus
petit
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
Vehicle
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
consequent
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31091-31096
memberMeasure
ensemble
,
MeasurementAttribute
and
mesure de longueur
ensemble
est une
instance
de
ensemble
objet en une partie
est un
ensemble
la
hauteur
de
objet en une partie
est
mesure de longueur
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31098-31103
memberMeasure
classe
,
Width
and
mesure de longueur
classe
est une
instance
de
classe
objet en une partie
est une
instance
de
classe
la
hauteur
de
objet en une partie
est
mesure de longueur
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
Flat
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
(=>
(
attribute
?O
LevelShape
)
(
not
(
exists
(?P1 ?P2 ?T ?H1 ?H2 ?U)
(
and
(
top
?T ?O)
(
part
?P1 ?T)
(
part
?P2 ?T)
(
instance
?U
UnitOfLength
)
(
height
?P1
(
MeasureFn
?H1 ?U))
(
height
?P2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Mid-level-ontology.kif 2823-2836
LevelShape
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
objet en une partie
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
dessus
de
objet en une partie
est
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
defaultMaximumHeight
?OBJECT
(
MeasureFn
?H ?U))
(
modalAttribute
(
exists
(?INST ?HEIGHT)
(
and
(
instance
?INST ?OBJECT)
(
height
?INST
(
MeasureFn
?HEIGHT ?U))
(
greaterThan
?HEIGHT ?H)))
Unlikely
))
Mid-level-ontology.kif 13365-13374
defaultMaximumHeight
objet
and
nombre r�el
unit� de mesure
(s)
l'argument
entit�
nombre r�el
EIGHT
entit�
est une
instance
de
objet
la
hauteur
de
entit�
est
nombre r�el
EIGHT
unit� de mesure
(s)
nombre r�el
EIGHT est
plus
grand
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
defaultMinimumHeight
?OBJECT
(
MeasureFn
?H ?U))
(
modalAttribute
(
exists
(?INST ?HEIGHT)
(
and
(
instance
?INST ?OBJECT)
(
height
?INST
(
MeasureFn
?HEIGHT ?U))
(
lessThan
?HEIGHT ?H)))
Unlikely
))
Mid-level-ontology.kif 13349-13357
defaultMinimumHeight
objet
and
nombre r�el
unit� de mesure
(s)
l'argument
entit�
nombre r�el
EIGHT
entit�
est une
instance
de
objet
la
hauteur
de
entit�
est
nombre r�el
EIGHT
unit� de mesure
(s)
nombre r�el
EIGHT est
moins
que
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
instance
?AAV
AAV
)
(
and
(
length
?AAV
(
MeasureFn
7.94
Meter
))
(
width
?AAV
(
MeasureFn
3.27
Meter
))
(
weight
?AAV
(
MeasureFn
22.8
TonMass
))
(
height
?AAV
(
MeasureFn
3.26
Meter
))
(
effectiveRange
?AAV
(
MeasureFn
480.0
Kilometer
))))
MilitaryDevices.kif 1662-1674
Objet en une partie
est une
instance
de
AAV
le
longueur
de
objet en une partie
est 7.94
Meter
(s) la
largeur
de
objet en une partie
est 3.27
Meter
(s)
weight
objet en une partie
and 22.8
TonMass
(s) la
hauteur
de
objet en une partie
est 3.26
Meter
(s)
effectiveRange
objet en une partie
and 480.0
Kilometer
(s)
(=>
(
instance
?AGM114
AGM114
)
(
and
(
length
?AGM114
(
MeasureFn
1.63
Meter
))
(
width
?AGM114
(
MeasureFn
0.71
Meter
))
(
height
?AGM114
(
MeasureFn
0.71
Meter
))
(
weight
?AGM114
(
MeasureFn
45.0
Kilogram
))
(
effectiveRange
?AGM114
(
MeasureFn
8.0
Kilometer
))))
MilitaryDevices.kif 1235-1247
Objet en une partie
est une
instance
de
AGM114
le
longueur
de
objet en une partie
est 1.63
Meter
(s) la
largeur
de
objet en une partie
est 0.71
Meter
(s) la
hauteur
de
objet en une partie
est 0.71
Meter
(s)
weight
objet en une partie
and 45.0
Kilogram
(s)
effectiveRange
objet en une partie
and 8.0
Kilometer
(s)
(=>
(
instance
?AGM65
AGM65
)
(
and
(
length
?AGM65
(
MeasureFn
2.55
Meter
))
(
width
?AGM65
(
MeasureFn
0.7
Meter
))
(
height
?AGM65
(
MeasureFn
0.7
Meter
))
(
weight
?AGM65
(
MeasureFn
302.0
Kilogram
))
(
effectiveRange
?AGM65
(
MeasureFn
27.0
Kilometer
))))
MilitaryDevices.kif 1155-1167
Objet en une partie
est une
instance
de
AGM65
le
longueur
de
objet en une partie
est 2.55
Meter
(s) la
largeur
de
objet en une partie
est 0.7
Meter
(s) la
hauteur
de
objet en une partie
est 0.7
Meter
(s)
weight
objet en une partie
and 302.0
Kilogram
(s)
effectiveRange
objet en une partie
and 27.0
Kilometer
(s)
(=>
(
instance
?AH1
AH1
)
(
and
(
length
?AH1
(
MeasureFn
17.68
Meter
))
(
width
?AH1
(
MeasureFn
14.63
Meter
))
(
height
?AH1
(
MeasureFn
4.44
Meter
))
(
weight
?AH1
(
MeasureFn
4634.0
Kilogram
))
(
effectiveRange
?AH1
(
MeasureFn
587.0
Kilometer
))))
MilitaryDevices.kif 1900-1912
Objet en une partie
est une
instance
de
AH1
le
longueur
de
objet en une partie
est 17.68
Meter
(s) la
largeur
de
objet en une partie
est 14.63
Meter
(s) la
hauteur
de
objet en une partie
est 4.44
Meter
(s)
weight
objet en une partie
and 4634.0
Kilogram
(s)
effectiveRange
objet en une partie
and 587.0
Kilometer
(s)
(=>
(
instance
?AIM9
AIM9
)
(
and
(
length
?AIM9
(
MeasureFn
2.85
Meter
))
(
width
?AIM9
(
MeasureFn
0.63
Meter
))
(
height
?AIM9
(
MeasureFn
0.63
Meter
))
(
weight
?AIM9
(
MeasureFn
91.0
Kilogram
))
(
effectiveRange
?AIM9
(
MeasureFn
18.0
Kilometer
))))
MilitaryDevices.kif 1189-1201
Objet en une partie
est une
instance
de
AIM9
le
longueur
de
objet en une partie
est 2.85
Meter
(s) la
largeur
de
objet en une partie
est 0.63
Meter
(s) la
hauteur
de
objet en une partie
est 0.63
Meter
(s)
weight
objet en une partie
and 91.0
Kilogram
(s)
effectiveRange
objet en une partie
and 18.0
Kilometer
(s)
(=>
(
instance
?CH46D
CH46D
)
(
and
(
length
?CH46D
(
MeasureFn
25.72
Meter
))
(
width
?CH46D
(
MeasureFn
15.54
Meter
))
(
height
?CH46D
(
MeasureFn
5.1
Meter
))
(
weight
?CH46D
(
MeasureFn
7047.0
Kilogram
))
(
effectiveRange
?CH46D
(
MeasureFn
676.0
Kilometer
))))
MilitaryDevices.kif 1860-1872
Objet en une partie
est une
instance
de
CH46D
le
longueur
de
objet en une partie
est 25.72
Meter
(s) la
largeur
de
objet en une partie
est 15.54
Meter
(s) la
hauteur
de
objet en une partie
est 5.1
Meter
(s)
weight
objet en une partie
and 7047.0
Kilogram
(s)
effectiveRange
objet en une partie
and 676.0
Kilometer
(s)
(=>
(
instance
?CH53E
CH53E
)
(
and
(
length
?CH53E
(
MeasureFn
30.2
Meter
))
(
width
?CH53E
(
MeasureFn
24.1
Meter
))
(
height
?CH53E
(
MeasureFn
8.46
Meter
))
(
weight
?CH53E
(
MeasureFn
15071.0
Kilogram
))
(
effectiveRange
?CH53E
(
MeasureFn
2000.0
Kilometer
))))
MilitaryDevices.kif 1788-1800
Objet en une partie
est une
instance
de
CH53E
le
longueur
de
objet en une partie
est 30.2
Meter
(s) la
largeur
de
objet en une partie
est 24.1
Meter
(s) la
hauteur
de
objet en une partie
est 8.46
Meter
(s)
weight
objet en une partie
and 15071.0
Kilogram
(s)
effectiveRange
objet en une partie
and 2000.0
Kilometer
(s)
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
length
?Harrier
(
MeasureFn
14.1
Meter
))
(
width
?Harrier
(
MeasureFn
9.2
Meter
))
(
height
?Harrier
(
MeasureFn
3.5
Meter
))
(
weight
?Harrier
(
MeasureFn
5700.0
Kilogram
))
(
effectiveRange
?Harrier
(
MeasureFn
1000.0
Kilometer
))))
MilitaryDevices.kif 1744-1756
Objet en une partie
est une
instance
de
Harrier2
le
longueur
de
objet en une partie
est 14.1
Meter
(s) la
largeur
de
objet en une partie
est 9.2
Meter
(s) la
hauteur
de
objet en une partie
est 3.5
Meter
(s)
weight
objet en une partie
and 5700.0
Kilogram
(s)
effectiveRange
objet en une partie
and 1000.0
Kilometer
(s)
(=>
(
instance
?LAV
LAV25
)
(
and
(
length
?LAV
(
MeasureFn
6.39
Meter
))
(
width
?LAV
(
MeasureFn
2.5
Meter
))
(
height
?LAV
(
MeasureFn
2.69
Meter
))
(
weight
?LAV
(
MeasureFn
12802.8
Kilogram
))
(
effectiveRange
?LAV
(
MeasureFn
660.1
Kilometer
))))
MilitaryDevices.kif 1542-1554
Objet en une partie
est une
instance
de
LAV25
le
longueur
de
objet en une partie
est 6.39
Meter
(s) la
largeur
de
objet en une partie
est 2.5
Meter
(s) la
hauteur
de
objet en une partie
est 2.69
Meter
(s)
weight
objet en une partie
and 12802.8
Kilogram
(s)
effectiveRange
objet en une partie
and 660.1
Kilometer
(s)
(=>
(
instance
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
Physique
est une
instance
de
Planer
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
couper
physique
est un
instrument
pour
entit�
entit�
est une
resource
pour
entit�
entit�
est une
instance
de
objet
entit�
est
fait
de
Wood
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
objet
Wood
est
fait
de
entit�
Flat
est un
attribut
de
entit�
entit�
est une
instance
de
UnitOfLength
la
hauteur
de
entit�
est
entit�
entit�
(s) la
hauteur
de
entit�
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
(=>
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
not
(
exists
(?TP ?O ?WO ?WOU ?HO ?HOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
greaterThan
?WO ?WIDTH)
(
greaterThan
?HO ?HEIGHT)))))
MilitaryDevices.kif 121-138
maximumPayloadHeightWidth
Vehicle
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
processus
objet en une partie
,
nombre r�el
,
nombre r�el
U,
nombre r�el
and
nombre r�el
U
processus
est une
instance
de
transporter
Vehicle
est un
instrument
pour
processus
objet en une partie
est un
patient
de
processus
la
largeur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s) la
hauteur
de
objet en une partie
est
nombre r�el
nombre r�el
U(s)
nombre r�el
U est
unit� de mesure
nombre r�el
U est
unit� de mesure
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
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