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
高度
的 1 数量 是
自身连接物体
的
instance
(
domain
height
2
LengthMeasure
)
Merge.kif 7551-7551
高度
的 2 数量 是
长度测量
的
instance
(
instance
height
BinaryPredicate
)
Merge.kif 7549-7549
高度
是
二元谓语
的
instance
(
subrelation
height
linearExtent
)
Merge.kif 7548-7548
高度
是
linearExtent
的
subrelation
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
如果
自身连接物体
的
height
是
长度测量
和
另一个 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
第三 自身连接物体
,
然后
那个 另外 自身连接物体
和
那个 第三 自身连接物体
的
distance
是
那个 长度测量
(=>
(
and
(
instance
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
如果
自身连接物体
是
人类成人
的
instance
和
那个 自身连接物体
的
height
是
实数
英寸
,
然后
那个 实数
不 是
greaterThan
120.0
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
如果
自身连接物体
是
Dune
的
instance
和
那个 自身连接物体
的
height
是
实数
厘米
,
然后
那个 自身连接物体
是
greaterThan
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
如果
自身连接物体
是
植物树
的
instance
和
另一个 自身连接物体
是
灌木
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
的
height
是
实数
那个 测量单位
和
那个 另外 自身连接物体
的
height
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
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
如果
自身连接物体
是
山前
的
instance
和
多山的地形
是
另一个 自身连接物体
的
attribute
和
那个 自身连接物体
在
那个 另外 自身连接物体
的
邻
和
测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
的
height
是
实数
那个 测量单位
和
那个 另外 自身连接物体
的
height
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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
如果
实数
测量单位
是
车辆
的
maximum
有效附载容量 和
那个 车辆
对于
另一个 实数
另一个 测量单位
的
maximum
有效附载高度
第三 实数
第三 测量单位
和
自身连接物体
是
自身连接物体
的
instance
和
第四 实数
那个 第四 实数
U 是
那个 自身连接物体
的
weight
和
那个 自身连接物体
的
width
是
第五 实数
那个 第五 实数
U 和
那个 自身连接物体
的
height
是
第六 实数
那个 第六 实数
U 和
那个 第四 实数
U
equal
那个 测量单位
和
那个 第五 实数
U
equal
那个 另外 测量单位
和
那个 第六 实数
U
equal
那个 第三 测量单位
和
那个 第四 实数
是
lessThanOrEqualTo
那个 实数
和
那个 第五 实数
是
lessThanOrEqualTo
那个 另外 实数
和
那个 第六 实数
是
lessThanOrEqualTo
那个 第三 实数
,
然后
那个 车辆
能够担当
工具
的角色做
符号串
所描述的类别
consequent
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31091-31096
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
自身连接物体
是
那个 集合
的
element
,
然后
那个 自身连接物体
的
height
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S
Width
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31098-31103
如果
memberMeasure
类
,
Width
and
长度测量
和
那个 类
是
类
的
instance
和
自身连接物体
是
那个 类
的
instance
,
然后
那个 自身连接物体
的
height
是
那个 长度测量
(=>
(
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
如果
平面
是
自身连接物体
的
attribute
,
然后 有存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
实数
,, ,
另一个 实数
,, ,
第三 实数
, and 和
测量单位
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
接上
那个 第三 自身连接物体
和
那个 另外 自身连接物体
不
equal
那个 第三 自身连接物体
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 自身连接物体
的
height
是
那个 实数
那个 测量单位
和
那个 另外 自身连接物体
的
height
是
那个 另外 实数
那个 测量单位
和
那个 第三 自身连接物体
的
height
是
那个 第三 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
2.0 和
那个 实数
和
那个 第三 实数
是
greaterThan
2.0 和
那个 实数
(=>
(
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
如果
水平的形状
是
自身连接物体
的
attribute
,
然后 不存在
另一个 自身连接物体
,
第三 自身连接物体
,, ,
第四 自身连接物体
,, ,
实数
,, ,
另一个 实数
, and 和
测量单位
这样
那个 第四 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
是
那个 第四 自身连接物体
的
part
和
那个 第三 自身连接物体
是
那个 第四 自身连接物体
的
part
和
那个 测量单位
是
UnitOfLength
的
instance
和
那个 另外 自身连接物体
的
height
是
那个 实数
那个 测量单位
和
那个 第三 自身连接物体
的
height
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
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
如果
有点 客体
的
maximum
预期高度是
实数
测量单位
,
然后 有存在
实体
和
那个 实数
EIGHT 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
height
是
那个 实数
EIGHT
那个 测量单位
和
那个 实数
EIGHT 是
greaterThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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
如果
有点 客体
的
minimum
预期高度是
实数
测量单位
,
然后 有存在
实体
和
那个 实数
EIGHT 这样
那个 实体
是
有点 客体
的
instance
和
那个 实体
的
height
是
那个 实数
EIGHT
那个 测量单位
和
那个 实数
EIGHT 是
lessThan
那个 实数
的声明 has
较不可能
的语气
(=>
(
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
如果
自身连接物体
是
AAV
的
instance
,
然后
那个 自身连接物体
的
length
是 7.94
仪表
和
那个 自身连接物体
的
width
是 3.27
仪表
和 22.8
吨质量
是
那个 自身连接物体
的
weight
和
那个 自身连接物体
的
height
是 3.26
仪表
和 480.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
AG m114
的
instance
,
然后
那个 自身连接物体
的
length
是 1.63
仪表
和
那个 自身连接物体
的
width
是 0.71
仪表
和
那个 自身连接物体
的
height
是 0.71
仪表
和 45.0
公斤
是
那个 自身连接物体
的
weight
和 8.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
AG m65
的
instance
,
然后
那个 自身连接物体
的
length
是 2.55
仪表
和
那个 自身连接物体
的
width
是 0.7
仪表
和
那个 自身连接物体
的
height
是 0.7
仪表
和 302.0
公斤
是
那个 自身连接物体
的
weight
和 27.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
A h1
的
instance
,
然后
那个 自身连接物体
的
length
是 17.68
仪表
和
那个 自身连接物体
的
width
是 14.63
仪表
和
那个 自身连接物体
的
height
是 4.44
仪表
和 4634.0
公斤
是
那个 自身连接物体
的
weight
和 587.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
AI m9
的
instance
,
然后
那个 自身连接物体
的
length
是 2.85
仪表
和
那个 自身连接物体
的
width
是 0.63
仪表
和
那个 自身连接物体
的
height
是 0.63
仪表
和 91.0
公斤
是
那个 自身连接物体
的
weight
和 18.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
C h46 d
的
instance
,
然后
那个 自身连接物体
的
length
是 25.72
仪表
和
那个 自身连接物体
的
width
是 15.54
仪表
和
那个 自身连接物体
的
height
是 5.1
仪表
和 7047.0
公斤
是
那个 自身连接物体
的
weight
和 676.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
C h53 e
的
instance
,
然后
那个 自身连接物体
的
length
是 30.2
仪表
和
那个 自身连接物体
的
width
是 24.1
仪表
和
那个 自身连接物体
的
height
是 8.46
仪表
和 15071.0
公斤
是
那个 自身连接物体
的
weight
和 2000.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
鹞2
的
instance
,
然后
那个 自身连接物体
的
length
是 14.1
仪表
和
那个 自身连接物体
的
width
是 9.2
仪表
和
那个 自身连接物体
的
height
是 3.5
仪表
和 5700.0
公斤
是
那个 自身连接物体
的
weight
和 1000.0
公里
是
那个 自身连接物体
的
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
如果
自身连接物体
是
LAV25
的
instance
,
然后
那个 自身连接物体
的
length
是 6.39
仪表
和
那个 自身连接物体
的
width
是 2.5
仪表
和
那个 自身连接物体
的
height
是 2.69
仪表
和 12802.8
公斤
是
那个 自身连接物体
的
weight
和 660.1
公里
是
那个 自身连接物体
的
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
如果
物理
是
刨床
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 实体
是
切开
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
那个 另外 实体
是
那个 实体
的
resource
和
那个 另外 实体
是
客体
的
instance
和
那个 另外 实体
是
木
的材料 和
那个 第三 实体
是
那个 实体
的
result
和
那个 第三 实体
是
客体
的
instance
和
木
是
那个 第三 实体
的材料 和
平面
是
那个 第三 实体
的
attribute
和
那个 第四 实体
是
UnitOfLength
的
instance
和
那个 另外 实体
的
height
是
那个 第五 实体
那个 第四 实体
和
那个 第三 实体
的
height
是
那个 第六 实体
那个 第四 实体
和
那个 第五 实体
是
greaterThan
那个 第六 实体
(=>
(
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
如果
车辆
对于
实数
测量单位
的
maximum
有效附载高度
另一个 实数
另一个 测量单位
,
然后 不存在
过程
,
自身连接物体
,, ,
第三 实数
,, ,
那个 第三 实数
U,, ,
第四 实数
, and 和
那个 第四 实数
U 这样
那个 过程
是
运输
的
instance
和
那个 车辆
是导致
那个 过程
的
instrument
和
那个 自身连接物体
是
那个 过程
的
patient
和
那个 自身连接物体
的
width
是
那个 第三 实数
那个 第三 实数
U 和
那个 自身连接物体
的
height
是
那个 第四 实数
那个 第四 实数
U 和
那个 第三 实数
U
equal
那个 测量单位
和
那个 第四 实数
U
equal
那个 另外 测量单位
和
那个 第三 实数
是
greaterThan
那个 实数
和
那个 第四 实数
是
greaterThan
那个 另外 实数
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