No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2850-2850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2849-2849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2848-2848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9060-9060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9059-9059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9058-9058 |
|