weaponCarryingCapability |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 27-29 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 23-23 | O argumento numero 1 de weaponCarryingCapability e' uma instancia de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 25-25 | O argumento numero 3 de weaponCarryingCapability e' uma instancia de Inteiro positivo |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 24-24 | O argumento numero 2 de weaponCarryingCapability e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 20-20 | weaponCarryingCapability e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 21-21 | weaponCarryingCapability e' uma instancia de Relacao Total |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2622-2622 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2621-2621 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2032-2032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62573-62573 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62572-62572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62571-62571 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1678-1682 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1916-1922 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1876-1878 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1804-1808 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1760-1765 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1558-1562 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1977-1982 |
|