No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3674-3674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3673-3673 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3672-3672 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28671-28671 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28670-28670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28669-28669 |
|