No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4990-4990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4989-4989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4988-4988 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16574-16574 |
husband is an inverse of wife |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63081-63081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63080-63080 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63079-63079 |
|