No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 848-848 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 847-847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 846-846 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21426-21426 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21425-21425 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21424-21424 |
|