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
武器携带能力
的 1 数量 是
军车
的
instance
(
domain
weaponCarryingCapability
3
PositiveInteger
)
MilitaryDevices.kif 25-25
武器携带能力
的 3 数量 是
正整数
的
instance
(
domainSubclass
weaponCarryingCapability
2
Weapon
)
MilitaryDevices.kif 24-24
武器携带能力
的 2 数量 是
武器
的
subclass
(
instance
weaponCarryingCapability
TernaryPredicate
)
MilitaryDevices.kif 20-20
武器携带能力
是
三元谓语
的
instance
(
instance
weaponCarryingCapability
TotalValuedRelation
)
MilitaryDevices.kif 21-21
武器携带能力
是
总值关系
的
instance
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
如果
军车
是 对于
正整数
的
weapon
携带容量
有点 武器
和
客体
是
有点 武器
的
instance
和
那个 客体
能够担当
格角色
的角色做
有点 过程
和
有点 过程
是
射击
的
subclass
或
那个 有点 过程
是
损坏
的
subclass
,
然后
那个 军车
能够担当
那个 格角色
的角色做
那个 有点 过程
consequent
(=>
(
instance
?AAV
AAV
)
(
and
(
weaponCarryingCapability
?AAV
M2Browning
1)
(
weaponCarryingCapability
?AAV
MK19
1)))
MilitaryDevices.kif 1678-1682
如果
军车
是
AAV
的
instance
,
然后
那个 军车
是 对于 1 的
weapon
携带容量
m2褐变
和
那个 军车
是 对于 1 的
weapon
携带容量
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
如果
军车
是
A h1
的
instance
,
然后
那个 军车
是 对于 1 的
weapon
携带容量
m197加特林枪
和
那个 军车
是 对于 4 的
weapon
携带容量
反坦克导弹
和
那个 军车
是 对于 8 的
weapon
携带容量
AG m114
和
那个 军车
是 对于 1 的
weapon
携带容量
AI m9
(=>
(
instance
?CH46D
CH46D
)
(
weaponCarryingCapability
?CH46D
HeavyMachineGun
2))
MilitaryDevices.kif 1876-1878
如果
军车
是
C h46 d
的
instance
,
然后
那个 军车
是 对于 2 的
weapon
携带容量
重机枪
(=>
(
instance
?CH53E
CH53E
)
(
and
(
weaponCarryingCapability
?CH53E
M3M
1)
(
weaponCarryingCapability
?CH53E
XM218
2)))
MilitaryDevices.kif 1804-1808
如果
军车
是
C h53 e
的
instance
,
然后
那个 军车
是 对于 1 的
weapon
携带容量
M3M
和
那个 军车
是 对于 2 的
weapon
携带容量
XM218
(=>
(
instance
?Harrier
Harrier2
)
(
and
(
weaponCarryingCapability
?Harrier
GAU12U
1)
(
weaponCarryingCapability
?Harrier
AGM65
7)
(
weaponCarryingCapability
?Harrier
AIM9
4)))
MilitaryDevices.kif 1760-1765
如果
军车
是
鹞2
的
instance
,
然后
那个 军车
是 对于 1 的
weapon
携带容量
GAU12U
和
那个 军车
是 对于 7 的
weapon
携带容量
AG m65
和
那个 军车
是 对于 4 的
weapon
携带容量
AI m9
(=>
(
instance
?LAV
LAV25
)
(
and
(
weaponCarryingCapability
?LAV
M242
1)
(
weaponCarryingCapability
?LAV
M240
2)))
MilitaryDevices.kif 1558-1562
如果
军车
是
LAV25
的
instance
,
然后
那个 军车
是 对于 1 的
weapon
携带容量
M242
和
那个 军车
是 对于 2 的
weapon
携带容量
M240
(=>
(
instance
?LCAC
LCAC
)
(
and
(
weaponCarryingCapability
?LCAC
M2Browning
2)
(
weaponCarryingCapability
?LCAC
M60
2)
(
weaponCarryingCapability
?LCAC
MK19
2)))
MilitaryDevices.kif 1977-1982
如果
军车
是
LCAC
的
instance
,
然后
那个 军车
是 对于 2 的
weapon
携带容量
m2褐变
和
那个 军车
是 对于 2 的
weapon
携带容量
M60
和
那个 军车
是 对于 2 的
weapon
携带容量
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