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
O argumento numero 1 de
effectiveRange
e' uma
instancia
de
Aparelho
(
domain
effectiveRange
2
LengthMeasure
)
Mid-level-ontology.kif 1381-1381
O argumento numero 2 de
effectiveRange
e' uma
instancia
de
Medida de Comprimento
(
instance
effectiveRange
BinaryPredicate
)
Mid-level-ontology.kif 1377-1377
effectiveRange
e' uma
instancia
de
Predicado Binario
(
instance
effectiveRange
SingleValuedRelation
)
Mid-level-ontology.kif 1378-1378
effectiveRange
e' uma
instancia
de
Relacao com Valor Unico
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1379-1379
effectiveRange
e' uma
sub
-relacao de
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
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Organismo
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
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
Objeto auto-conectado
e' uma
instancia
de
AAV
o
comprimento
de
Objeto auto-conectado
e' 7.94
Meter
(s) a
largura
de
Objeto auto-conectado
e' 3.27
Meter
(s)
weight
Objeto auto-conectado
and 22.8
TonMass
(s) a
altura
de
Objeto auto-conectado
e' 3.26
Meter
(s)
effectiveRange
Objeto auto-conectado
and 480.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AGM114
o
comprimento
de
Objeto auto-conectado
e' 1.63
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.71
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.71
Meter
(s)
weight
Objeto auto-conectado
and 45.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 8.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AGM65
o
comprimento
de
Objeto auto-conectado
e' 2.55
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.7
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.7
Meter
(s)
weight
Objeto auto-conectado
and 302.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 27.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AH1
o
comprimento
de
Objeto auto-conectado
e' 17.68
Meter
(s) a
largura
de
Objeto auto-conectado
e' 14.63
Meter
(s) a
altura
de
Objeto auto-conectado
e' 4.44
Meter
(s)
weight
Objeto auto-conectado
and 4634.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 587.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
AIM9
o
comprimento
de
Objeto auto-conectado
e' 2.85
Meter
(s) a
largura
de
Objeto auto-conectado
e' 0.63
Meter
(s) a
altura
de
Objeto auto-conectado
e' 0.63
Meter
(s)
weight
Objeto auto-conectado
and 91.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 18.0
Kilometer
(s)
(=>
(
instance
?BGM71TOW
BGM71TOW
)
(
effectiveRange
?BGM71TOW
(
MeasureFn
3.0
Kilometer
)))
MilitaryDevices.kif 862-865
Aparelho
e' uma
instancia
de
BGM71TOW
effectiveRange
Aparelho
and 3.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
CH46D
o
comprimento
de
Objeto auto-conectado
e' 25.72
Meter
(s) a
largura
de
Objeto auto-conectado
e' 15.54
Meter
(s) a
altura
de
Objeto auto-conectado
e' 5.1
Meter
(s)
weight
Objeto auto-conectado
and 7047.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 676.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
CH53E
o
comprimento
de
Objeto auto-conectado
e' 30.2
Meter
(s) a
largura
de
Objeto auto-conectado
e' 24.1
Meter
(s) a
altura
de
Objeto auto-conectado
e' 8.46
Meter
(s)
weight
Objeto auto-conectado
and 15071.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 2000.0
Kilometer
(s)
(=>
(
instance
?DragonWeapon
DragonWeapon
)
(
effectiveRange
?DragonWeapon
(
MeasureFn
1.0
Kilometer
)))
MilitaryDevices.kif 714-717
Aparelho
e' uma
instancia
de
DragonWeapon
effectiveRange
Aparelho
and 1.0
Kilometer
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
Harrier2
o
comprimento
de
Objeto auto-conectado
e' 14.1
Meter
(s) a
largura
de
Objeto auto-conectado
e' 9.2
Meter
(s) a
altura
de
Objeto auto-conectado
e' 3.5
Meter
(s)
weight
Objeto auto-conectado
and 5700.0
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 1000.0
Kilometer
(s)
(=>
(
instance
?JavelinWeapon
JavelinWeapon
)
(
effectiveRange
?JavelinWeapon
(
MeasureFn
1.5
Mile
)))
MilitaryDevices.kif 773-776
Aparelho
e' uma
instancia
de
JavelinWeapon
effectiveRange
Aparelho
and 1.5
Mile
(s)
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
LAV25
o
comprimento
de
Objeto auto-conectado
e' 6.39
Meter
(s) a
largura
de
Objeto auto-conectado
e' 2.5
Meter
(s) a
altura
de
Objeto auto-conectado
e' 2.69
Meter
(s)
weight
Objeto auto-conectado
and 12802.8
Kilogram
(s)
effectiveRange
Objeto auto-conectado
and 660.1
Kilometer
(s)
(=>
(
instance
?LCAC
LCAC
)
(
and
(
length
?LCAC
(
MeasureFn
88.0
FootLength
))
(
effectiveRange
?LCAC
(
MeasureFn
555.0
Kilometer
))))
MilitaryDevices.kif 1967-1973
Aparelho
e' uma
instancia
de
LCAC
o
comprimento
de
Aparelho
e' 88.0
FootLength
(s)
effectiveRange
Aparelho
and 555.0
Kilometer
(s)
(=>
(
instance
?M240
M240
)
(
effectiveRange
?M240
(
MeasureFn
1.8
Kilometer
)))
MilitaryDevices.kif 405-408
Aparelho
e' uma
instancia
de
M240
effectiveRange
Aparelho
and 1.8
Kilometer
(s)
(=>
(
instance
?M242
M242
)
(
effectiveRange
?M242
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 287-290
Aparelho
e' uma
instancia
de
M242
effectiveRange
Aparelho
and 2.0
Kilometer
(s)
(=>
(
instance
?M2Browning
M2Browning
)
(
effectiveRange
?M2Browning
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 509-512
Aparelho
e' uma
instancia
de
M2Browning
effectiveRange
Aparelho
and 2.0
Kilometer
(s)
(=>
(
instance
?M3M
M3M
)
(
effectiveRange
?M3M
(
MeasureFn
1.85
Kilometer
)))
MilitaryDevices.kif 586-589
Aparelho
e' uma
instancia
de
M3M
effectiveRange
Aparelho
and 1.85
Kilometer
(s)
(=>
(
instance
?M60
M60
)
(
effectiveRange
?M60
(
MeasureFn
1.1
Kilometer
)))
MilitaryDevices.kif 445-448
Aparelho
e' uma
instancia
de
M60
effectiveRange
Aparelho
and 1.1
Kilometer
(s)
(=>
(
instance
?MK19
MK19
)
(
effectiveRange
?MK19
(
MeasureFn
1.6
Kilometer
)))
MilitaryDevices.kif 648-651
Aparelho
e' uma
instancia
de
MK19
effectiveRange
Aparelho
and 1.6
Kilometer
(s)
(=>
(
instance
?SMAWBunkerBuster
SMAWBunkerBuster
)
(
effectiveRange
?SMAWBunkerBuster
(
MeasureFn
0.5
Kilometer
)))
MilitaryDevices.kif 840-843
Aparelho
e' uma
instancia
de
SMAWBunkerBuster
effectiveRange
Aparelho
and 0.5
Kilometer
(s)
(=>
(
instance
?XM218
XM218
)
(
effectiveRange
?XM218
(
MeasureFn
2.0
Kilometer
)))
MilitaryDevices.kif 543-546
Aparelho
e' uma
instancia
de
XM218
effectiveRange
Aparelho
and 2.0
Kilometer
(s)
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