No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2099-2099 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2098-2098 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2097-2097 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48700-48700 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48699-48699 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48698-48698 |
|