No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1189-1189 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1188-1188 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1187-1187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65852-65852 |
|