| appearance as argument number 1 |
|
| (documentation ConsulateGeneral EnglishLanguage "ConsulateGeneral is a class of government organizations that represent one nation within the territory of a second nation. Consulates General offer a wider variety of services than do Consulates.") | Government.kif 4673-4676 | |
| (subclass ConsulateGeneral DiplomaticOrganization) | Government.kif 4671-4671 | Consulate general is a subclass of diplomatic organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConsulateGeneral "总领事馆") | domainEnglishFormat.kif 16851-16851 | |
| (termFormat ChineseTraditionalLanguage ConsulateGeneral "總領事館") | domainEnglishFormat.kif 16850-16850 | |
| (termFormat EnglishLanguage ConsulateGeneral "consulate general") | domainEnglishFormat.kif 16849-16849 |
| antecedent |
|
|
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4606-4608 |
|
| consequent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4637-4642 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners