caliber |
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 | The number 2 argument of caliber is an instance of length measure |
(domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 | The number 1 argument of caliber is a subclass of gun |
(instance caliber BinaryPredicate) | MilitaryDevices.kif 208-208 | caliber is an instance of binary predicate |
(instance caliber TotalValuedRelation) | MilitaryDevices.kif 209-209 | caliber is an instance of total valued relation |
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 |
appearance as argument number 0 |
(caliber GAU12U (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 316-317 | 25.0 Millimeter(s) is a caliber of GAU12U |
(caliber M240 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 393-394 | 7.62 Millimeter(s) is a caliber of m240 |
(caliber M242 (MeasureFn 25.0 Millimeter)) |
MilitaryDevices.kif 282-283 | 25.0 Millimeter(s) is a caliber of m242 |
(caliber M2Browning (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 497-498 | 12.7 Millimeter(s) is a caliber of m2 browning |
(caliber M3M (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 574-575 | 12.7 Millimeter(s) is a caliber of M3M |
(caliber M60 (MeasureFn 7.62 Millimeter)) |
MilitaryDevices.kif 433-434 | 7.62 Millimeter(s) is a caliber of m60 |
(caliber MK19 (MeasureFn 40.0 Millimeter)) |
MilitaryDevices.kif 636-637 | 40.0 Millimeter(s) is a caliber of Mk19 |
(caliber SMAWBunkerBuster (MeasureFn 83.0 Millimeter)) |
MilitaryDevices.kif 828-829 | 83.0 Millimeter(s) is a caliber of SMAW bunker buster |
(caliber XM218 (MeasureFn 12.7 Millimeter)) |
MilitaryDevices.kif 531-532 | 12.7 Millimeter(s) is a caliber of XM218 |