No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1145-1145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1144-1144 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1143-1143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27534-27534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27533-27533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27532-27532 |
|