No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3482-3482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3481-3481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3480-3480 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24758-24758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24757-24757 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24756-24756 |
|