No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2167-2167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2166-2166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2165-2165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50156-50156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50155-50155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50154-50154 |
|