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
Il numero 1 argomenti di
weaponCarryingCapability
è un
istanza
di
MilitaryVehicle
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
Il numero 3 argomenti di
weaponCarryingCapability
è un
istanza
di
NumeroInteroPositivo
(
domainSubclass
weaponCarryingCapability
2
Weapon
)
MilitaryDevices.kif 24-24
Il numero 2 argomento
weaponCarryingCapability
è una
sottoclasse
di
Arma
(
instance
weaponCarryingCapability
TernaryPredicate
)
MilitaryDevices.kif 20-20
weaponCarryingCapability
è un'
istanza
di
PredicatoTernario
(
instance
weaponCarryingCapability
TotalValuedRelation
)
MilitaryDevices.kif 21-21
weaponCarryingCapability
è un'
istanza
di
RelazioneAValoreTotale
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 62571-62571
(
termFormat
ChineseTraditionalLanguage
weaponCarryingCapability
"武器攜帶能力")
domainEnglishFormat.kif 62570-62570
(
termFormat
EnglishLanguage
weaponCarryingCapability
"weapon carrying capability")
domainEnglishFormat.kif 62569-62569
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
weaponCarryingCapability
MilitaryVehicle
,
Arma
and
NumeroInteroPositivo
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Processo
è una
sottoclasse
di
Danneggiare
MilitaryVehicle
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
consequent
(=>
(
instance
?AAV
AAV
)
(
and
(
weaponCarryingCapability
?AAV
M2Browning
1)
(
weaponCarryingCapability
?AAV
MK19
1)))
MilitaryDevices.kif 1678-1682
MilitaryVehicle
è un'
istanza
di
AAV
weaponCarryingCapability
MilitaryVehicle
,
M2Browning
and 1
weaponCarryingCapability
MilitaryVehicle
,
MK19
and 1
(=>
(
instance
?AH1
AH1
)
(
and
(
weaponCarryingCapability
?AH1
M197GatlingGun
1)
(
weaponCarryingCapability
?AH1
AntiTankMissile
4)
(
weaponCarryingCapability
?AH1
AGM114
8)
(
weaponCarryingCapability
?AH1
AIM9
1)))
MilitaryDevices.kif 1916-1922
MilitaryVehicle
è un'
istanza
di
AH1
weaponCarryingCapability
MilitaryVehicle
,
M197GatlingGun
and 1
weaponCarryingCapability
MilitaryVehicle
,
AntiTankMissile
and 4
weaponCarryingCapability
MilitaryVehicle
,
AGM114
and 8
weaponCarryingCapability
MilitaryVehicle
,
AIM9
and 1
(=>
(
instance
?CH46D
CH46D
)
(
weaponCarryingCapability
?CH46D
HeavyMachineGun
2))
MilitaryDevices.kif 1876-1878
MilitaryVehicle
è un'
istanza
di
CH46D
weaponCarryingCapability
MilitaryVehicle
,
HeavyMachineGun
and 2
(=>
(
instance
?CH53E
CH53E
)
(
and
(
weaponCarryingCapability
?CH53E
M3M
1)
(
weaponCarryingCapability
?CH53E
XM218
2)))
MilitaryDevices.kif 1804-1808
MilitaryVehicle
è un'
istanza
di
CH53E
weaponCarryingCapability
MilitaryVehicle
,
M3M
and 1
weaponCarryingCapability
MilitaryVehicle
,
XM218
and 2
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
weaponCarryingCapability
?Harrier
GAU12U
1)
(
weaponCarryingCapability
?Harrier
AGM65
7)
(
weaponCarryingCapability
?Harrier
AIM9
4)))
MilitaryDevices.kif 1760-1765
MilitaryVehicle
è un'
istanza
di
Harrier2
weaponCarryingCapability
MilitaryVehicle
,
GAU12U
and 1
weaponCarryingCapability
MilitaryVehicle
,
AGM65
and 7
weaponCarryingCapability
MilitaryVehicle
,
AIM9
and 4
(=>
(
instance
?LAV
LAV25
)
(
and
(
weaponCarryingCapability
?LAV
M242
1)
(
weaponCarryingCapability
?LAV
M240
2)))
MilitaryDevices.kif 1558-1562
MilitaryVehicle
è un'
istanza
di
LAV25
weaponCarryingCapability
MilitaryVehicle
,
M242
and 1
weaponCarryingCapability
MilitaryVehicle
,
M240
and 2
(=>
(
instance
?LCAC
LCAC
)
(
and
(
weaponCarryingCapability
?LCAC
M2Browning
2)
(
weaponCarryingCapability
?LCAC
M60
2)
(
weaponCarryingCapability
?LCAC
MK19
2)))
MilitaryDevices.kif 1977-1982
MilitaryVehicle
è un'
istanza
di
LCAC
weaponCarryingCapability
MilitaryVehicle
,
M2Browning
and 2
weaponCarryingCapability
MilitaryVehicle
,
M60
and 2
weaponCarryingCapability
MilitaryVehicle
,
MK19
and 2
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