No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3166-3166 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3165-3165 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3164-3164 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18648-18648 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18647-18647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18646-18646 |
|