No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3826-3826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3825-3825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3824-3824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36485-36485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36484-36484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36483-36483 |
|