No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 259-259 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 258-258 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10158-10158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10157-10157 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10156-10156 |
|