No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1245-1245 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1244-1244 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1243-1243 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29313-29313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29312-29312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29311-29311 |
|