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
weaponCarryingCapability
Sigma KEE - weaponCarryingCapability
weaponCarryingCapability
appearance as argument number 1
(
documentation
weaponCarryingCapability
EnglishLanguage
"(
weaponCarryingCapability
?MV ?WC ?I) means that the
MilitaryVehicle
?MV is able to carry ?I
Weapon
s of class ?WC.")
MilitaryDevices.kif 27-29
(
domain
weaponCarryingCapability
1
MilitaryVehicle
)
MilitaryDevices.kif 23-23
The number 1 argument of
weapon carrying capability
is an
instance
of
military vehicle
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
The number 3 argument of
weapon carrying capability
is an
instance
of
positive integer
(
domainSubclass
weaponCarryingCapability
2
Weapon
)
MilitaryDevices.kif 24-24
The number 2 argument of
weapon carrying capability
is a
subclass
of
weapon
(
instance
weaponCarryingCapability
TernaryPredicate
)
MilitaryDevices.kif 20-20
weapon carrying capability
is an
instance
of
ternary predicate
(
instance
weaponCarryingCapability
TotalValuedRelation
)
MilitaryDevices.kif 21-21
weapon carrying capability
is an
instance
of
total valued relation
appearance as argument number 2
(
format
ChineseLanguage
weaponCarryingCapability
"%1 %n 是 对于 %3 的 weapon 携带容量 %2 ")
domainEnglishFormat.kif 2622-2622
(
format
ChineseTraditionalLanguage
weaponCarryingCapability
"%1 %n 是 對於 %3 的 weapon 攜帶容量 %2 ")
domainEnglishFormat.kif 2621-2621
(
format
EnglishLanguage
weaponCarryingCapability
"%1 can%n{not} carry %3 weapons of type %2.")
MilitaryDevices.kif 2032-2032
(
termFormat
ChineseLanguage
weaponCarryingCapability
"武器携带能力")
domainEnglishFormat.kif 62573-62573
(
termFormat
ChineseTraditionalLanguage
weaponCarryingCapability
"武器攜帶能力")
domainEnglishFormat.kif 62572-62572
(
termFormat
EnglishLanguage
weaponCarryingCapability
"weapon carrying capability")
domainEnglishFormat.kif 62571-62571
antecedent
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
If
a military vehicle
can carry
a positive integer
weapons of type
a kind of weapon
. and
an object
is an
instance
of
a kind of weapon
and
the object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
or
the kind of process
is a
subclass
of
damaging
,
then
the military vehicle
is
capable
of doing
the kind of process
as a
the case role
consequent
(=>
(
instance
?AAV
AAV
)
(
and
(
weaponCarryingCapability
?AAV
M2Browning
1)
(
weaponCarryingCapability
?AAV
MK19
1)))
MilitaryDevices.kif 1678-1682
If
a military vehicle
is an
instance
of
Amphibious Assault Vehicle
,
then
the military vehicle
can carry 1 weapons of type
m2 browning
. and
the military vehicle
can carry 1 weapons of type
Mk19
.
(=>
(
instance
?AH1
AH1
)
(
and
(
weaponCarryingCapability
?AH1
M197GatlingGun
1)
(
weaponCarryingCapability
?AH1
AntiTankMissile
4)
(
weaponCarryingCapability
?AH1
AGM114
8)
(
weaponCarryingCapability
?AH1
AIM9
1)))
MilitaryDevices.kif 1916-1922
If
a military vehicle
is an
instance
of
A h1
,
then
the military vehicle
can carry 1 weapons of type
m197 gatling gun
. and
the military vehicle
can carry 4 weapons of type
anti tank missile
. and
the military vehicle
can carry 8 weapons of type
AG m114
. and
the military vehicle
can carry 1 weapons of type
AI m9
.
(=>
(
instance
?CH46D
CH46D
)
(
weaponCarryingCapability
?CH46D
HeavyMachineGun
2))
MilitaryDevices.kif 1876-1878
If
a military vehicle
is an
instance
of
C h46 d
,
then
the military vehicle
can carry 2 weapons of type
heavy machine gun
.
(=>
(
instance
?CH53E
CH53E
)
(
and
(
weaponCarryingCapability
?CH53E
M3M
1)
(
weaponCarryingCapability
?CH53E
XM218
2)))
MilitaryDevices.kif 1804-1808
If
a military vehicle
is an
instance
of
C h53 e
,
then
the military vehicle
can carry 1 weapons of type
M3M
. and
the military vehicle
can carry 2 weapons of type
XM218
.
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
weaponCarryingCapability
?Harrier
GAU12U
1)
(
weaponCarryingCapability
?Harrier
AGM65
7)
(
weaponCarryingCapability
?Harrier
AIM9
4)))
MilitaryDevices.kif 1760-1765
If
a military vehicle
is an
instance
of
harrier2
,
then
the military vehicle
can carry 1 weapons of type
GAU12U
. and
the military vehicle
can carry 7 weapons of type
AG m65
. and
the military vehicle
can carry 4 weapons of type
AI m9
.
(=>
(
instance
?LAV
LAV25
)
(
and
(
weaponCarryingCapability
?LAV
M242
1)
(
weaponCarryingCapability
?LAV
M240
2)))
MilitaryDevices.kif 1558-1562
If
a military vehicle
is an
instance
of
LAV25
,
then
the military vehicle
can carry 1 weapons of type
m242
. and
the military vehicle
can carry 2 weapons of type
m240
.
(=>
(
instance
?LCAC
LCAC
)
(
and
(
weaponCarryingCapability
?LCAC
M2Browning
2)
(
weaponCarryingCapability
?LCAC
M60
2)
(
weaponCarryingCapability
?LCAC
MK19
2)))
MilitaryDevices.kif 1977-1982
If
a military vehicle
is an
instance
of
LCAC
,
then
the military vehicle
can carry 2 weapons of type
m2 browning
. and
the military vehicle
can carry 2 weapons of type
m60
. and
the military vehicle
can carry 2 weapons of type
Mk19
.
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