No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3114-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3113-3113 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3112-3112 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65801-65801 |
|