No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1531-1531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1530-1530 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1529-1529 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34337-34337 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34336-34336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34335-34335 |
|