No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1193-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1192-1192 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1191-1191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28395-28395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28394-28394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28393-28393 |
|