No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2267-2267 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2266-2266 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2265-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52665-52665 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52664-52664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52663-52663 |
|