No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 975-975 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 974-974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 973-973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22936-22936 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22935-22935 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22934-22934 |
|