No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 120-120 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 119-119 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 118-118 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6282-6282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6281-6281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6280-6280 |
|