No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2786-2786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2785-2785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2784-2784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7261-7261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7260-7260 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7259-7259 |
|