No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 903-903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 902-902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 901-901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21876-21876 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21875-21875 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21874-21874 |
|