caliber |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 214-215 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | O argumento numero 2 de caliber e' uma instancia de Medida de Comprimento |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 211-211 | O argumento numero 1 de caliber e' uma sub-classe de Gun |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 208-208 | caliber e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 209-209 | caliber e' uma instancia de Relacao Total |
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 2036-2036 | |
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 12721-12721 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12720-12720 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12719-12719 |
antecedent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 316-317 | caliber GAU12U and 25.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 393-394 | caliber M240 and 7.62 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 282-283 | caliber M242 and 25.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 497-498 | caliber M2Browning and 12.7 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 574-575 | caliber M3M and 12.7 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 433-434 | caliber M60 and 7.62 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 636-637 | caliber MK19 and 40.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 828-829 | caliber SMAWBunkerBuster and 83.0 Millimeter(s) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 531-532 | caliber XM218 and 12.7 Millimeter(s) |