No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 684-684 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 683-683 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 682-682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18768-18768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18767-18767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18766-18766 |
|