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 7554-7555
(
documentation
height
JapaneseLanguage
"
Object
の高さは、その
top
と
bottom
の間の距離 である。")
japanese_format.kif 1358-1359
(
domain
height
1
SelfConnectedObject
)
Merge.kif 7551-7551
域
高度
, 1 and
SelfConnectedObject
(
domain
height
2
LengthMeasure
)
Merge.kif 7552-7552
域
高度
, 2 and
LengthMeasure
(
instance
height
BinaryPredicate
)
Merge.kif 7550-7550
例
高度
and
BinaryPredicate
(
subrelation
height
linearExtent
)
Merge.kif 7549-7549
子關係
高度
and
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 9812-9817
高度
SelfConnectedObject
and
LengthMeasure
上
SelfConnectedObject
and
SelfConnectedObject
底部
SelfConnectedObject
and
SelfConnectedObject
距離
SelfConnectedObject
,
SelfConnectedObject
and
LengthMeasure
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 204-210
例
SelfConnectedObject
and
人類成人
高度
SelfConnectedObject
and
測量
RealNumber
and
英寸
比較多
RealNumber
and 120.0
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
例
SelfConnectedObject
and
Dune
高度
SelfConnectedObject
and
測量
RealNumber
and
厘米
比較多
SelfConnectedObject
and 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
例
SelfConnectedObject
and
植物樹
例
SelfConnectedObject
and
灌木
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
例
SelfConnectedObject
and
山前
attribute
SelfConnectedObject
and
多山的地形
方位
SelfConnectedObject
,
SelfConnectedObject
and
鄰
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
車輛
的
maximum
有效附載容量
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
例
SelfConnectedObject
and
SelfConnectedObject
測量
RealNumber
and
RealNumber
U 是
SelfConnectedObject
的
weight
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Transportation
患者
SymbolicString
and
SelfConnectedObject
,
儀器
and
車輛
consequent
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31115-31120
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
例
Set
and
Set
元件
SelfConnectedObject
and
Set
高度
SelfConnectedObject
and
LengthMeasure
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31122-31127
memberMeasure
Class
,
Width
and
LengthMeasure
例
Class
and
Class
例
SelfConnectedObject
and
Class
高度
SelfConnectedObject
and
LengthMeasure
(=>
(
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 2775-2788
attribute
SelfConnectedObject
and
平面
SelfConnectedObject
SelfConnectedObject
,
RealNumber
,
RealNumber
,
RealNumber
and
UnitOfMeasure
側
SelfConnectedObject
and
SelfConnectedObject
側
SelfConnectedObject
and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
SelfConnectedObject
等於
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
乘法
2.0 and
RealNumber
比較多
RealNumber
and
乘法
2.0 and
RealNumber
(=>
(
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 2816-2829
attribute
SelfConnectedObject
and
水平的形狀
SelfConnectedObject
SelfConnectedObject
,
SelfConnectedObject
,
RealNumber
,
RealNumber
and
UnitOfMeasure
上
SelfConnectedObject
and
SelfConnectedObject
部分
SelfConnectedObject
and
SelfConnectedObject
部分
SelfConnectedObject
and
SelfConnectedObject
例
UnitOfMeasure
and
UnitOfLength
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
高度
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
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 13392-13401
Object
的
maximum
預期高度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
EIGHT
例
entity
and
Object
高度
entity
and
測量
RealNumber
EIGHT and
UnitOfMeasure
比較多
RealNumber
EIGHT and
RealNumber
and
較不可能
(=>
(
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 13376-13384
Object
的
minimum
預期高度是
測量
RealNumber
and
UnitOfMeasure
模態屬性
entity
RealNumber
EIGHT
例
entity
and
Object
高度
entity
and
測量
RealNumber
EIGHT and
UnitOfMeasure
少於
RealNumber
EIGHT and
RealNumber
and
較不可能
(=>
(
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
例
SelfConnectedObject
and
AAV
length
SelfConnectedObject
and
測量
7.94 and
儀表
寬度
SelfConnectedObject
and
測量
3.27 and
儀表
測量
22.8 and
噸質量
是
SelfConnectedObject
的
weight
高度
SelfConnectedObject
and
測量
3.26 and
儀表
測量
480.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AG m114
length
SelfConnectedObject
and
測量
1.63 and
儀表
寬度
SelfConnectedObject
and
測量
0.71 and
儀表
高度
SelfConnectedObject
and
測量
0.71 and
儀表
測量
45.0 and
公斤
是
SelfConnectedObject
的
weight
測量
8.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AG m65
length
SelfConnectedObject
and
測量
2.55 and
儀表
寬度
SelfConnectedObject
and
測量
0.7 and
儀表
高度
SelfConnectedObject
and
測量
0.7 and
儀表
測量
302.0 and
公斤
是
SelfConnectedObject
的
weight
測量
27.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
A h1
length
SelfConnectedObject
and
測量
17.68 and
儀表
寬度
SelfConnectedObject
and
測量
14.63 and
儀表
高度
SelfConnectedObject
and
測量
4.44 and
儀表
測量
4634.0 and
公斤
是
SelfConnectedObject
的
weight
測量
587.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
AI m9
length
SelfConnectedObject
and
測量
2.85 and
儀表
寬度
SelfConnectedObject
and
測量
0.63 and
儀表
高度
SelfConnectedObject
and
測量
0.63 and
儀表
測量
91.0 and
公斤
是
SelfConnectedObject
的
weight
測量
18.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
C h46 d
length
SelfConnectedObject
and
測量
25.72 and
儀表
寬度
SelfConnectedObject
and
測量
15.54 and
儀表
高度
SelfConnectedObject
and
測量
5.1 and
儀表
測量
7047.0 and
公斤
是
SelfConnectedObject
的
weight
測量
676.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
C h53 e
length
SelfConnectedObject
and
測量
30.2 and
儀表
寬度
SelfConnectedObject
and
測量
24.1 and
儀表
高度
SelfConnectedObject
and
測量
8.46 and
儀表
測量
15071.0 and
公斤
是
SelfConnectedObject
的
weight
測量
2000.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
鷂2
length
SelfConnectedObject
and
測量
14.1 and
儀表
寬度
SelfConnectedObject
and
測量
9.2 and
儀表
高度
SelfConnectedObject
and
測量
3.5 and
儀表
測量
5700.0 and
公斤
是
SelfConnectedObject
的
weight
測量
1000.0 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
SelfConnectedObject
and
LAV25
length
SelfConnectedObject
and
測量
6.39 and
儀表
寬度
SelfConnectedObject
and
測量
2.5 and
儀表
高度
SelfConnectedObject
and
測量
2.69 and
儀表
測量
12802.8 and
公斤
是
SelfConnectedObject
的
weight
測量
660.1 and
公里
是
SelfConnectedObject
的
effective
範圍
(=>
(
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
例
Physical
and
刨床
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
Cutting
儀器
entity
and
Physical
資源
entity
and
entity
例
entity
and
Object
材料
entity
and
木
結果
entity
and
entity
例
entity
and
Object
材料
木
and
entity
attribute
entity
and
平面
例
entity
and
UnitOfLength
高度
entity
and
測量
entity
and
entity
高度
entity
and
測量
entity
and
entity
比較多
entity
and
entity
(=>
(
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
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
Process
SelfConnectedObject
,
RealNumber
,
RealNumber
U,
RealNumber
and
RealNumber
U
例
Process
and
Transportation
儀器
Process
and
車輛
患者
Process
and
SelfConnectedObject
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
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