No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 724-724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 722-722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19278-19278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19277-19277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19276-19276 |
|