No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1137-1137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1136-1136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1135-1135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27510-27510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27509-27509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27508-27508 |
|