No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 680-680 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 679-679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 678-678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18762-18762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18761-18761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18760-18760 |
|