No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4226-4226 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4225-4225 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4224-4224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47524-47524 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47523-47523 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47522-47522 |
|