No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 176-176 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 175-175 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7692-7692 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7691-7691 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7690-7690 |
|