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