No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1261-1261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1260-1260 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1259-1259 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29413-29413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29412-29412 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29411-29411 |
|