No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4602-4602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4601-4601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4600-4600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54986-54986 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54985-54985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54984-54984 |
|