No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1181-1181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1180-1180 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1179-1179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28101-28101 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28100-28100 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28099-28099 |
|