No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 991-991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 990-990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 989-989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23104-23104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23103-23103 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23102-23102 |
|