No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 76-76 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 75-75 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 74-74 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2228-2228 |
国家政党 是 代理人在区域内经营 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5826-5826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5825-5825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5824-5824 |
|