No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 484-484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 483-483 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15756-15756 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15755-15755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15754-15754 |
|