No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2638-2638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2637-2637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2636-2636 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63763-63763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63762-63762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63761-63761 |
|