No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1663-1663 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1662-1662 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1661-1661 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36677-36677 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36676-36676 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36675-36675 |
|