No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 720-720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 719-719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 718-718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19194-19194 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19193-19193 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19192-19192 |
|