No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4035-4035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4034-4034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4033-4033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42337-42337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42336-42336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42335-42335 |
|