No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2383-2383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2382-2382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2381-2381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55617-55617 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55616-55616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55615-55615 |
|