No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 852-852 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 851-851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 850-850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21432-21432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21431-21431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21430-21430 |
|