No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1081-1081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1080-1080 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1079-1079 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24452-24452 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24451-24451 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24450-24450 |
|