No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1655-1655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1654-1654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1653-1653 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36611-36611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36610-36610 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36609-36609 |
|