No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1651-1651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1650-1650 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2035-2035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1649-1649 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36605-36605 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36604-36604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36603-36603 |
|