No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3902-3902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3901-3901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3900-3900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38703-38703 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38702-38702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38701-38701 |
|