No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3402-3402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3401-3401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3400-3400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23368-23368 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23367-23367 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23366-23366 |
|