No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2467-2467 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2466-2466 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2465-2465 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57604-57604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57603-57603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57602-57602 |
|