No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1511-1511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1510-1510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1509-1509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34025-34025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34024-34024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34023-34023 |
|