| appearance as argument number 1 |
|
| (documentation caliber EnglishLanguage "(caliber ?G ?L) means that the gun ?G is designed to shoot projectiles with a diameter of ?L.") | MilitaryDevices.kif 214-215 | |
| (domain caliber 2 LengthMeasure) | MilitaryDevices.kif 212-212 | |
| (domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 | |
| (instance caliber BinaryPredicate) | MilitaryDevices.kif 208-208 | |
| (instance caliber TotalValuedRelation) | MilitaryDevices.kif 209-209 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage caliber "%2 %n 是 %1 的 caliber ") | domainEnglishFormat.kif 336-336 | |
| (format ChineseTraditionalLanguage caliber "%2 %n 是 %1 的 caliber ") | domainEnglishFormat.kif 335-335 | |
| (format EnglishLanguage caliber "%1 weapons can%n{not} shoot projectiles with a caliber of %2.") | MilitaryDevices.kif 2036-2036 | |
| (format EnglishLanguage caliber "%2 is %n a caliber of %1") | domainEnglishFormat.kif 334-334 | |
| (termFormat ChineseLanguage caliber "口径") | domainEnglishFormat.kif 12721-12721 | |
| (termFormat ChineseTraditionalLanguage caliber "口徑") | domainEnglishFormat.kif 12720-12720 | |
| (termFormat EnglishLanguage caliber "caliber") | domainEnglishFormat.kif 12719-12719 |
| antecedent |
|
|
| (=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (capability (KappaFn ?SHOOTING (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ))) instrument ?GUN)) |
MilitaryDevices.kif 233-245 | |
| (=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (hasPurpose ?GUN (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ) (instrument ?SHOOTING ?GUN))))) |
MilitaryDevices.kif 250-262 | |
| (=> (and (instance ?SHOT Shooting) (instrument ?SHOT ?GUN) (patient ?SHOT ?PROJ) (width ?PROJ ?LM1) (instance ?GUN ?GUNCLASS) (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM)) (equal ?LM ?LM1)) |
MilitaryDevices.kif 219-228 |
| appearance as argument number 0 |
|
|
| (caliber GAU12U (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 316-317 | |
| (caliber M240 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 393-394 | |
| (caliber M242 (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 282-283 | |
| (caliber M2Browning (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 497-498 | |
| (caliber M3M (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 574-575 | |
| (caliber M60 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 433-434 | |
| (caliber MK19 (MeasureFn 40.0 Millimeter)) |
MilitaryDevices.kif 636-637 | |
| (caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter)) |
MilitaryDevices.kif 828-829 | |
| (caliber XM218 (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 531-532 |
|
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