No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 532-532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 531-531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16644-16644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16643-16643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16642-16642 |
|