No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 551-551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17184-17184 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17183-17183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17182-17182 |
|