No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14106-14106 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14105-14105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14104-14104 |
|