No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 596-596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 595-595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 594-594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18072-18072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18071-18071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18070-18070 |
|