No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1401-1401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1400-1400 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1399-1399 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31201-31201 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31200-31200 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31199-31199 |
|