No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 343-343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1875-1875 |
选举胜利者 是 职位候选人 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12943-12943 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12942-12942 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12941-12941 |
|