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 1382-1384
(
domain
effectiveRange
1
Device
)
Mid-level-ontology.kif 1380-1380
The number 1 argument of
effective range
is an
instance
of
device
(
domain
effectiveRange
2
LengthMeasure
)
Mid-level-ontology.kif 1381-1381
The number 2 argument of
effective range
is an
instance
of
length measure
(
instance
effectiveRange
BinaryPredicate
)
Mid-level-ontology.kif 1377-1377
effective range
is an
instance
of
binary predicate
(
instance
effectiveRange
SingleValuedRelation
)
Mid-level-ontology.kif 1378-1378
effective range
is an
instance
of
single valued relation
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1379-1379
effective range
is a
subrelation
of
measure
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 1410-1429
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and
the object
is an
instance
of
organism
and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
(=>
(
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 1388-1406
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
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
If
a self connected object
is an
instance
of
Amphibious Assault Vehicle
,
then the
length
of
the self connected object
is 7.94
meter
(s) and the
width
of
the self connected object
is 3.27
meter
(s) and 22.8
ton mass
(s) is a
weight
of
the self connected object
and the
height
of
the self connected object
is 3.26
meter
(s) and 480.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
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
If
a self connected object
is an
instance
of
AG m114
,
then the
length
of
the self connected object
is 1.63
meter
(s) and the
width
of
the self connected object
is 0.71
meter
(s) and the
height
of
the self connected object
is 0.71
meter
(s) and 45.0
kilogram
(s) is a
weight
of
the self connected object
and 8.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
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
If
a self connected object
is an
instance
of
AG m65
,
then the
length
of
the self connected object
is 2.55
meter
(s) and the
width
of
the self connected object
is 0.7
meter
(s) and the
height
of
the self connected object
is 0.7
meter
(s) and 302.0
kilogram
(s) is a
weight
of
the self connected object
and 27.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
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
If
a self connected object
is an
instance
of
A h1
,
then the
length
of
the self connected object
is 17.68
meter
(s) and the
width
of
the self connected object
is 14.63
meter
(s) and the
height
of
the self connected object
is 4.44
meter
(s) and 4634.0
kilogram
(s) is a
weight
of
the self connected object
and 587.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
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
If
a self connected object
is an
instance
of
AI m9
,
then the
length
of
the self connected object
is 2.85
meter
(s) and the
width
of
the self connected object
is 0.63
meter
(s) and the
height
of
the self connected object
is 0.63
meter
(s) and 91.0
kilogram
(s) is a
weight
of
the self connected object
and 18.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?BGM71TOW
BGM71TOW
)
(
effectiveRange
?BGM71TOW
(
MeasureFn
3.0
Kilometer
)))
MilitaryDevices.kif 862-865
If
a device
is an
instance
of
BG m71TO w
,
then 3.0
kilometer
(s) is an
effective
range of
the device
(=>
(
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
If
a self connected object
is an
instance
of
C h46 d
,
then the
length
of
the self connected object
is 25.72
meter
(s) and the
width
of
the self connected object
is 15.54
meter
(s) and the
height
of
the self connected object
is 5.1
meter
(s) and 7047.0
kilogram
(s) is a
weight
of
the self connected object
and 676.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
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
If
a self connected object
is an
instance
of
C h53 e
,
then the
length
of
the self connected object
is 30.2
meter
(s) and the
width
of
the self connected object
is 24.1
meter
(s) and the
height
of
the self connected object
is 8.46
meter
(s) and 15071.0
kilogram
(s) is a
weight
of
the self connected object
and 2000.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?DragonWeapon
DragonWeapon
)
(
effectiveRange
?DragonWeapon
(
MeasureFn
1.0
Kilometer
)))
MilitaryDevices.kif 714-717
If
a device
is an
instance
of
dragon weapon
,
then 1.0
kilometer
(s) is an
effective
range of
the device
(=>
(
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
If
a self connected object
is an
instance
of
harrier2
,
then the
length
of
the self connected object
is 14.1
meter
(s) and the
width
of
the self connected object
is 9.2
meter
(s) and the
height
of
the self connected object
is 3.5
meter
(s) and 5700.0
kilogram
(s) is a
weight
of
the self connected object
and 1000.0
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?JavelinWeapon
JavelinWeapon
)
(
effectiveRange
?JavelinWeapon
(
MeasureFn
1.5
Mile
)))
MilitaryDevices.kif 773-776
If
a device
is an
instance
of
javelin weapon
,
then 1.5
mile
(s) is an
effective
range of
the device
(=>
(
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
If
a self connected object
is an
instance
of
LAV25
,
then the
length
of
the self connected object
is 6.39
meter
(s) and the
width
of
the self connected object
is 2.5
meter
(s) and the
height
of
the self connected object
is 2.69
meter
(s) and 12802.8
kilogram
(s) is a
weight
of
the self connected object
and 660.1
kilometer
(s) is an
effective
range of
the self connected object
(=>
(
instance
?LCAC
LCAC
)
(
and
(
length
?LCAC
(
MeasureFn
88.0
FootLength
))
(
effectiveRange
?LCAC
(
MeasureFn
555.0
Kilometer
))))
MilitaryDevices.kif 1967-1973
If
a device
is an
instance
of
LCAC
,
then the
length
of
the device
is 88.0
foot length
(s) and 555.0
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?M240
M240
)
(
effectiveRange
?M240
(
MeasureFn
1.8
Kilometer
)))
MilitaryDevices.kif 405-408
If
a device
is an
instance
of
m240
,
then 1.8
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?M242
M242
)
(
effectiveRange
?M242
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 287-290
If
a device
is an
instance
of
m242
,
then 2.0
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?M2Browning
M2Browning
)
(
effectiveRange
?M2Browning
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 509-512
If
a device
is an
instance
of
m2 browning
,
then 2.0
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?M3M
M3M
)
(
effectiveRange
?M3M
(
MeasureFn
1.85
Kilometer
)))
MilitaryDevices.kif 586-589
If
a device
is an
instance
of
M3M
,
then 1.85
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?M60
M60
)
(
effectiveRange
?M60
(
MeasureFn
1.1
Kilometer
)))
MilitaryDevices.kif 445-448
If
a device
is an
instance
of
m60
,
then 1.1
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?MK19
MK19
)
(
effectiveRange
?MK19
(
MeasureFn
1.6
Kilometer
)))
MilitaryDevices.kif 648-651
If
a device
is an
instance
of
Mk19
,
then 1.6
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
effectiveRange
?SMAWBunkerBuster
(
MeasureFn
0.5
Kilometer
)))
MilitaryDevices.kif 840-843
If
a device
is an
instance
of
SMAW bunker buster
,
then 0.5
kilometer
(s) is an
effective
range of
the device
(=>
(
instance
?XM218
XM218
)
(
effectiveRange
?XM218
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 543-546
If
a device
is an
instance
of
XM218
,
then 2.0
kilometer
(s) is an
effective
range of
the device
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
