No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2143-2143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2142-2142 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2141-2141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49390-49390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49389-49389 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49388-49388 |
|