No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1341-1341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1340-1340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1339-1339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30013-30013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30012-30012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30011-30011 |
|