| appearance as argument number 1 |
|
| (documentation weaponCarryingCapability EnglishLanguage "(weaponCarryingCapability ?MV ?WC ?I) means that the MilitaryVehicle ?MV is able to carry ?I Weapons of class ?WC.") | MilitaryDevices.kif 27-29 | |
| (domain weaponCarryingCapability 1 MilitaryVehicle) | MilitaryDevices.kif 23-23 | |
| (domain weaponCarryingCapability 3 PositiveInteger) | MilitaryDevices.kif 25-25 | |
| (domainSubclass weaponCarryingCapability 2 Weapon) | MilitaryDevices.kif 24-24 | |
| (instance weaponCarryingCapability TernaryPredicate) | MilitaryDevices.kif 20-20 | |
| (instance weaponCarryingCapability TotalValuedRelation) | MilitaryDevices.kif 21-21 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage weaponCarryingCapability "%1 %n 是 对于 %3 的 weapon 携带容量 %2 ") | domainEnglishFormat.kif 2618-2618 | |
| (format ChineseTraditionalLanguage weaponCarryingCapability "%1 %n 是 對於 %3 的 weapon 攜帶容量 %2 ") | domainEnglishFormat.kif 2617-2617 | |
| (termFormat ChineseLanguage weaponCarryingCapability "武器携带能力") | domainEnglishFormat.kif 62565-62565 | |
| (termFormat ChineseTraditionalLanguage weaponCarryingCapability "武器攜帶能力") | domainEnglishFormat.kif 62564-62564 | |
| (termFormat EnglishLanguage weaponCarryingCapability "weapon carrying capability") | domainEnglishFormat.kif 62563-62563 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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