No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1715-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1714-1714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1713-1713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37535-37535 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37534-37534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37533-37533 |
|