No TPTP formula. May not be expressible in strict first order. |
Government.kif 4690-4690 |
台湾美国研究所 和 外交组织 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4680-4680 |
领事馆 是 外交组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4673-4673 |
总领事馆 是 外交组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4666-4666 |
大使馆 是 外交组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19608-19608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19607-19607 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19606-19606 |
|