No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 874-874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 873-873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 872-872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21606-21606 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21605-21605 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21604-21604 |
|