No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2131-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2130-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2129-2129 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16321-16321 |
家属关系 是 相对的 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16322-16322 |
伴侣 是 相对的 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49322-49322 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49321-49321 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49320-49320 |
|