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 |
子關係 國家政黨 and 代理人在區域內經營 |
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 |
|