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
weaponCarryingCapability
の数値 1 引数は
MilitaryVehicle
の
instance
では %n
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
weaponCarryingCapability
の数値 3 引数は
正の整数
の
instance
では %n
(
domainSubclass
weaponCarryingCapability
2
Weapon
)
MilitaryDevices.kif 24-24
weaponCarryingCapability
の数値 2 引数は
武器
の
subclass
では %n
(
instance
weaponCarryingCapability
TernaryPredicate
)
MilitaryDevices.kif 20-20
weaponCarryingCapability
は
3進述語
の
instance
では %n
(
instance
weaponCarryingCapability
TotalValuedRelation
)
MilitaryDevices.kif 21-21
weaponCarryingCapability
は
合計値関係
の
instance
では %n
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
,
武器
and
正の整数
オブジェクト
は
武器
の
instance
では %n
オブジェクト
は
工程
を
格役割
として行う
capable
では %n
工程
は
射撃
の
subclass
では %n
工程
は
損害を与える
の
subclass
では %n
MilitaryVehicle
は
工程
を
格役割
として行う
capable
では %n
consequent
(=>
(
instance
?AAV
AAV
)
(
and
(
weaponCarryingCapability
?AAV
M2Browning
1)
(
weaponCarryingCapability
?AAV
MK19
1)))
MilitaryDevices.kif 1678-1682
MilitaryVehicle
は
AAV
の
instance
では %n
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
は
AH1
の
instance
では %n
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
は
CH46D
の
instance
では %n
weaponCarryingCapability
MilitaryVehicle
,
HeavyMachineGun
and 2
(=>
(
instance
?CH53E
CH53E
)
(
and
(
weaponCarryingCapability
?CH53E
M3M
1)
(
weaponCarryingCapability
?CH53E
XM218
2)))
MilitaryDevices.kif 1804-1808
MilitaryVehicle
は
CH53E
の
instance
では %n
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
は
Harrier2
の
instance
では %n
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
は
LAV25
の
instance
では %n
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
は
LCAC
の
instance
では %n
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