No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1045-1045 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1044-1044 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1043-1043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24146-24146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24145-24145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24144-24144 |
|