No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3902-3902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3901-3901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3900-3900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38705-38705 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38704-38704 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38703-38703 |
|