No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1203-1203 |
AG m114 is a subclass of AG m |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1136-1136 |
AG m65 is a subclass of AG m |
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 |
|