No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3878-3878 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3877-3877 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3876-3876 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38495-38495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38494-38494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38493-38493 |
|