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