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
Die Zahl 1 Argument von
weaponCarryingCapability
ist ein
fall
von
MilitaryVehicle
%n{nicht}
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
Die Zahl 3 Argument von
weaponCarryingCapability
ist ein
fall
von
PositiveInteger
%n{nicht}
(
domainSubclass
weaponCarryingCapability
2
Weapon
)
MilitaryDevices.kif 24-24
Die Zahl 2 Argument von
weaponCarryingCapability
ist eine
teilkategorie
von
Weapon
%n{nicht}
(
instance
weaponCarryingCapability
TernaryPredicate
)
MilitaryDevices.kif 20-20
weaponCarryingCapability
ist ein
fall
von
TernaryPredicate
%n{nicht}
(
instance
weaponCarryingCapability
TotalValuedRelation
)
MilitaryDevices.kif 21-21
weaponCarryingCapability
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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
Wenn
weaponCarryingCapability
MilitaryVehicle
,
** Weapon
and
PositiveInteger
und
Object
ist ein
fall
von
** Weapon
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun und
** Process
ist eine
teilkategorie
von
Shooting
oder
** ** Process
ist eine
teilkategorie
von
Damaging
,
dann
** MilitaryVehicle
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
consequent
(=>
(
instance
?AAV
AAV
)
(
and
(
weaponCarryingCapability
?AAV
M2Browning
1)
(
weaponCarryingCapability
?AAV
MK19
1)))
MilitaryDevices.kif 1678-1682
Wenn
MilitaryVehicle
ist ein
fall
von
AAV
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
M2Browning
and 1 und
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
Wenn
MilitaryVehicle
ist ein
fall
von
AH1
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
M197GatlingGun
and 1 und
weaponCarryingCapability
** MilitaryVehicle
,
AntiTankMissile
and 4 und
weaponCarryingCapability
** MilitaryVehicle
,
AGM114
and 8 und
weaponCarryingCapability
** MilitaryVehicle
,
AIM9
and 1
(=>
(
instance
?CH46D
CH46D
)
(
weaponCarryingCapability
?CH46D
HeavyMachineGun
2))
MilitaryDevices.kif 1876-1878
Wenn
MilitaryVehicle
ist ein
fall
von
CH46D
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
HeavyMachineGun
and 2
(=>
(
instance
?CH53E
CH53E
)
(
and
(
weaponCarryingCapability
?CH53E
M3M
1)
(
weaponCarryingCapability
?CH53E
XM218
2)))
MilitaryDevices.kif 1804-1808
Wenn
MilitaryVehicle
ist ein
fall
von
CH53E
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
M3M
and 1 und
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
Wenn
MilitaryVehicle
ist ein
fall
von
Harrier2
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
GAU12U
and 1 und
weaponCarryingCapability
** MilitaryVehicle
,
AGM65
and 7 und
weaponCarryingCapability
** MilitaryVehicle
,
AIM9
and 4
(=>
(
instance
?LAV
LAV25
)
(
and
(
weaponCarryingCapability
?LAV
M242
1)
(
weaponCarryingCapability
?LAV
M240
2)))
MilitaryDevices.kif 1558-1562
Wenn
MilitaryVehicle
ist ein
fall
von
LAV25
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
M242
and 1 und
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
Wenn
MilitaryVehicle
ist ein
fall
von
LCAC
%n{nicht},
dann
weaponCarryingCapability
** MilitaryVehicle
,
M2Browning
and 2 und
weaponCarryingCapability
** MilitaryVehicle
,
M60
and 2 und
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