No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 664-664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 663-663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 662-662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18642-18642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18641-18641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18640-18640 |
|