No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 820-820 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 819-819 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 818-818 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21072-21072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21071-21071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21070-21070 |
|