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
weight
Sigma KEE - weight
weight
appearance as argument number 1
(
documentation
weight
ChineseLanguage
"(
weight
?O ?MM)的意思是在地球上,这个
SelfConnectedObject
?O 的重量是 ?MM。")
chinese_format.kif 2606-2607
(
documentation
weight
EnglishLanguage
"(
weight
?O ?MM) means that on planet earth the
SelfConnectedObject
?O has the weight ?MM.")
Merge.kif 7289-7290
(
documentation
weight
JapaneseLanguage
"(
weight
?O ?MM) とは、地球上で
SelfConnectedObject
?O が重量?MMを持っていることを意味する。")
japanese_format.kif 1319-1320
(
domain
weight
1
SelfConnectedObject
)
Merge.kif 7284-7284
重量
的 1 数量 是
自身连接物体
的
instance
(
domain
weight
2
MassMeasure
)
Merge.kif 7285-7285
重量
的 2 数量 是
质量测量
的
instance
(
instance
weight
BinaryPredicate
)
Merge.kif 7286-7286
重量
是
二元谓语
的
instance
(
subrelation
weight
measure
)
Merge.kif 7287-7287
重量
是
计量
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2626-2626
(
format
ChineseTraditionalLanguage
weight
"%2 %n 是 %1 的
weight
")
domainEnglishFormat.kif 2625-2625
(
format
EnglishLanguage
weight
"%2 is %n a
weight
of %1")
domainEnglishFormat.kif 2624-2624
(
termFormat
ChineseLanguage
weight
"重量")
domainEnglishFormat.kif 62679-62679
(
termFormat
ChineseTraditionalLanguage
weight
"重量")
domainEnglishFormat.kif 62678-62678
(
termFormat
EnglishLanguage
weight
"weight")
domainEnglishFormat.kif 62677-62677
antecedent
(=>
(
and
(
instance
?L
CocoaLiquor
)
(
weight
?L
(
MeasureFn
100.0
Gram
))
(
instance
?S
CocoaSolid
)
(
part
?S ?L)
(
weight
?S
(
MeasureFn
?X
Gram
))
(
instance
?B
CocoaButter
)
(
part
?B ?L)
(
weight
?B
(
MeasureFn
?Y
Gram
)))
(
and
(
approximateValue
?X 50.0)
(
approximateValue
?Y 50.0)))
Food.kif 2463-2478
如果
自身连接物体
是
CocoaLiquor
的
instance
和 100.0
公克
是
那个 自身连接物体
的
weight
和
另一个 自身连接物体
是
可可粉
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
part
和
实数
公克
是
那个 另外 自身连接物体
的
weight
和
第三 自身连接物体
是
可可脂
的
instance
和
那个 第三 自身连接物体
是
那个 自身连接物体
的
part
和
另一个 实数
公克
是
那个 第三 自身连接物体
的
weight
,
然后
approximateValue
那个 实数
and 50.0 和
approximateValue
那个 另外 实数
and 50.0
(=>
(
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
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
如果
实数
每公斤微克
equal
质量测量
是
另一个 质量测量
的
per
和
那个 另外 质量测量
equal
另一个 实数
公克
的百万分之一 和
那个 质量测量
equal
第三 实数
公克
的一千倍,
然后 有存在
过程
,
自身连接物体
, and 和
另一个 自身连接物体
这样
那个 过程
是
消化
的
instance
和
那个 自身连接物体
是
生物活性物质
的
instance
和
那个 另外 自身连接物体
是
生物
的
instance
和
那个 自身连接物体
是
那个 过程
的
patient
和
那个 另外 自身连接物体
是
那个 过程
的
agent
和
那个 另外 质量测量
是
那个 自身连接物体
的
weight
和
那个 质量测量
是
那个 另外 自身连接物体
的
weight
(=>
(
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
?BGM71TOW
BGM71TOW
)
(
weight
?BGM71TOW
(
MeasureFn
18.9
Kilogram
)))
MilitaryDevices.kif 855-858
如果
自身连接物体
是
BG m71TO w
的
instance
,
然后 18.9
公斤
是
那个 自身连接物体
的
weight
(=>
(
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
?DragonWeapon
DragonWeapon
)
(
weight
?DragonWeapon
(
MeasureFn
33.9
PoundMass
)))
MilitaryDevices.kif 707-710
如果
自身连接物体
是
龙武器
的
instance
,
然后 33.9
磅质量
是
那个 自身连接物体
的
weight
(=>
(
instance
?GAU12U
GAU12U
)
(
weight
?GAU12U
(
MeasureFn
122.0
Kilogram
)))
MilitaryDevices.kif 321-324
如果
自身连接物体
是
GAU12U
的
instance
,
然后 122.0
公斤
是
那个 自身连接物体
的
weight
(=>
(
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
?JavelinWeapon
JavelinWeapon
)
(
weight
?JavelinWeapon
(
MeasureFn
49.5
PoundMass
)))
MilitaryDevices.kif 766-769
如果
自身连接物体
是
标枪武器
的
instance
,
然后 49.5
磅质量
是
那个 自身连接物体
的
weight
(=>
(
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
?M240
M240
)
(
weight
?M240
(
MeasureFn
12.5
Kilogram
)))
MilitaryDevices.kif 398-401
如果
自身连接物体
是
M240
的
instance
,
然后 12.5
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?M242
M242
)
(
weight
?M242
(
MeasureFn
110.0
Kilogram
)))
MilitaryDevices.kif 294-297
如果
自身连接物体
是
M242
的
instance
,
然后 110.0
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?M2Browning
M2Browning
)
(
weight
?M2Browning
(
MeasureFn
38.0
Kilogram
)))
MilitaryDevices.kif 502-505
如果
自身连接物体
是
m2褐变
的
instance
,
然后 38.0
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?M3M
M3M
)
(
weight
?M3M
(
MeasureFn
35.8
Kilogram
)))
MilitaryDevices.kif 579-582
如果
自身连接物体
是
M3M
的
instance
,
然后 35.8
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?M60
M60
)
(
weight
?M60
(
MeasureFn
10.5
Kilogram
)))
MilitaryDevices.kif 438-441
如果
自身连接物体
是
M60
的
instance
,
然后 10.5
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?MK19
MK19
)
(
weight
?MK19
(
MeasureFn
33.0
Kilogram
)))
MilitaryDevices.kif 641-644
如果
自身连接物体
是
Mk19
的
instance
,
然后 33.0
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
weight
?SMAWBunkerBuster
(
MeasureFn
7.54
Kilogram
)))
MilitaryDevices.kif 833-836
如果
自身连接物体
是
SMAW掩体破坏者
的
instance
,
然后 7.54
公斤
是
那个 自身连接物体
的
weight
(=>
(
instance
?XM218
XM218
)
(
weight
?XM218
(
MeasureFn
27.0
Kilogram
)))
MilitaryDevices.kif 536-539
如果
自身连接物体
是
XM218
的
instance
,
然后 27.0
公斤
是
那个 自身连接物体
的
weight
(=>
(
maximumPayloadCapacity
?V
(
MeasureFn
?LOAD ?UNITLOAD))
(
not
(
exists
(?TP ?O ?WO ?WOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
weight
?O
(
MeasureFn
?WO ?WOU))
(
equal
?WOU ?UNITLOAD)
(
greaterThan
?WO ?LOAD)))))
MilitaryDevices.kif 92-104
如果
实数
测量单位
是
车辆
的
maximum
有效附载容量,
然后 不存在
过程
,
自身连接物体
,, ,
另一个 实数
, and 和
那个 另外 实数
U 这样
那个 过程
是
运输
的
instance
和
那个 车辆
是导致
那个 过程
的
instrument
和
那个 自身连接物体
是
那个 过程
的
patient
和
那个 另外 实数
那个 另外 实数
U 是
那个 自身连接物体
的
weight
和
那个 另外 实数
U
equal
那个 测量单位
和
那个 另外 实数
是
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