No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 599-599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 598-598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18078-18078 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18077-18077 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18076-18076 |
|