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 63765-63765 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63764-63764 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63763-63763 |
|