No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 963-963 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 962-962 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 961-961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22918-22918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22917-22917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22916-22916 |
|