No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 87-87 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 86-86 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5919-5919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5918-5918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5917-5917 |
|