No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1691-1691 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1690-1690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1689-1689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37013-37013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37012-37012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37011-37011 |
|