No TPTP formula. May not be expressible in strict first order. |
Government.kif 4690-4690 |
AmericanInstituteInTaiwan e' relacionado internamente por SUMO a DiplomaticOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4680-4680 |
Consulate e' uma sub-classe de DiplomaticOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4673-4673 |
ConsulateGeneral e' uma sub-classe de DiplomaticOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4666-4666 |
Embassy e' uma sub-classe de DiplomaticOrganization |
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 |
|