caliber |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 371-372 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 369-369 | The number 2 argument of caliber is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 368-368 | The number 1 argument of caliber is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 365-365 | caliber is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 366-366 | caliber is an instance of total valued relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 336-336 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 335-335 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2193-2193 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 334-334 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12730-12730 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12729-12729 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12728-12728 |
antecedent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 473-474 | 25.0 Millimeter(s) is a caliber of GAU12U |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 550-551 | 7.62 Millimeter(s) is a caliber of m240 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 439-440 | 25.0 Millimeter(s) is a caliber of m242 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 654-655 | 12.7 Millimeter(s) is a caliber of m2 browning |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 731-732 | 12.7 Millimeter(s) is a caliber of M3M |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 590-591 | 7.62 Millimeter(s) is a caliber of m60 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 793-794 | 40.0 Millimeter(s) is a caliber of Mk19 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 985-986 | 83.0 Millimeter(s) is a caliber of SMAW bunker buster |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 688-689 | 12.7 Millimeter(s) is a caliber of XM218 |
![]() |
![]() |