No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1203-1203 |
AGM114 e' uma sub-classe de AGM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1136-1136 |
AGM65 e' uma sub-classe de AGM |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5862-5862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5861-5861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5860-5860 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2068-2068 |
|