No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1495-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1494-1494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1493-1493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34001-34001 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34000-34000 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33999-33999 |
|