No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 923-923 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 922-922 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 921-921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22636-22636 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22635-22635 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22634-22634 |
|