No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1161-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1160-1160 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1159-1159 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27714-27714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27713-27713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27712-27712 |
|