No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4730-4730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4729-4729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4728-4728 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57009-57009 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57008-57008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57007-57007 |
|