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
effectiveRange
Sigma KEE - effectiveRange
effectiveRange
appearance as argument number 1
(
documentation
effectiveRange
EnglishLanguage
"Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons).")
Mid-level-ontology.kif 1389-1391
(
domain
effectiveRange
1
Device
)
Mid-level-ontology.kif 1387-1387
有效范围
的 1 数量 是
设备
的
instance
(
domain
effectiveRange
2
LengthMeasure
)
Mid-level-ontology.kif 1388-1388
有效范围
的 2 数量 是
长度测量
的
instance
(
instance
effectiveRange
BinaryPredicate
)
Mid-level-ontology.kif 1384-1384
有效范围
是
二元谓语
的
instance
(
instance
effectiveRange
SingleValuedRelation
)
Mid-level-ontology.kif 1385-1385
有效范围
是
单值关系
的
instance
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1386-1386
有效范围
是
计量
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
effectiveRange
"%2 %n 是 %1 的 effective 范围")
domainEnglishFormat.kif 836-836
(
format
ChineseTraditionalLanguage
effectiveRange
"%2 %n 是 %1 的 effective 範圍")
domainEnglishFormat.kif 835-835
(
format
EnglishLanguage
effectiveRange
"%2 is %n an effective range of %1")
domainEnglishFormat.kif 834-834
(
termFormat
ChineseLanguage
effectiveRange
"有效范围")
domainEnglishFormat.kif 21300-21300
(
termFormat
ChineseTraditionalLanguage
effectiveRange
"有效範圍")
domainEnglishFormat.kif 21299-21299
(
termFormat
EnglishLanguage
effectiveRange
"effective range")
domainEnglishFormat.kif 21298-21298
antecedent
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和
那个 客体
是
生物
的
instance
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
如果
设备
是
枪
的
instance
和
测量单位
是
UnitOfLength
的
instance
和
实数
那个 测量单位
是
那个 设备
的
effective
范围 和
那个 设备
和
客体
的
distance
是
那个 实数
1
那个 测量单位
和 不存在
那个 客体
2 这样
那个 客体
2 是在
那个 客体
和
那个 设备
between
和
那个 实数
1 是
lessThanOrEqualTo
那个 实数
,
然后 有存在
符号串
这样
那个 设备
能够担当
工具
的角色做
那个 符号串
所描述的类别
consequent
(=>
(
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
)
(
effectiveRange
?BGM71TOW
(
MeasureFn
3.0
Kilometer
)))
MilitaryDevices.kif 862-865
如果
设备
是
BG m71TO w
的
instance
,
然后 3.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
?DragonWeapon
DragonWeapon
)
(
effectiveRange
?DragonWeapon
(
MeasureFn
1.0
Kilometer
)))
MilitaryDevices.kif 714-717
如果
设备
是
龙武器
的
instance
,
然后 1.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
?JavelinWeapon
JavelinWeapon
)
(
effectiveRange
?JavelinWeapon
(
MeasureFn
1.5
Mile
)))
MilitaryDevices.kif 773-776
如果
设备
是
标枪武器
的
instance
,
然后 1.5
英里
是
那个 设备
的
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
?LCAC
LCAC
)
(
and
(
length
?LCAC
(
MeasureFn
88.0
FootLength
))
(
effectiveRange
?LCAC
(
MeasureFn
555.0
Kilometer
))))
MilitaryDevices.kif 1967-1973
如果
设备
是
LCAC
的
instance
,
然后
那个 设备
的
length
是 88.0
脚长
和 555.0
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?M240
M240
)
(
effectiveRange
?M240
(
MeasureFn
1.8
Kilometer
)))
MilitaryDevices.kif 405-408
如果
设备
是
M240
的
instance
,
然后 1.8
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?M242
M242
)
(
effectiveRange
?M242
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 287-290
如果
设备
是
M242
的
instance
,
然后 2.0
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?M2Browning
M2Browning
)
(
effectiveRange
?M2Browning
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 509-512
如果
设备
是
m2褐变
的
instance
,
然后 2.0
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?M3M
M3M
)
(
effectiveRange
?M3M
(
MeasureFn
1.85
Kilometer
)))
MilitaryDevices.kif 586-589
如果
设备
是
M3M
的
instance
,
然后 1.85
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?M60
M60
)
(
effectiveRange
?M60
(
MeasureFn
1.1
Kilometer
)))
MilitaryDevices.kif 445-448
如果
设备
是
M60
的
instance
,
然后 1.1
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?MK19
MK19
)
(
effectiveRange
?MK19
(
MeasureFn
1.6
Kilometer
)))
MilitaryDevices.kif 648-651
如果
设备
是
Mk19
的
instance
,
然后 1.6
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
effectiveRange
?SMAWBunkerBuster
(
MeasureFn
0.5
Kilometer
)))
MilitaryDevices.kif 840-843
如果
设备
是
SMAW掩体破坏者
的
instance
,
然后 0.5
公里
是
那个 设备
的
effective
范围
(=>
(
instance
?XM218
XM218
)
(
effectiveRange
?XM218
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 543-546
如果
设备
是
XM218
的
instance
,
然后 2.0
公里
是
那个 设备
的
effective
范围
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