appearance as argument number 1 |
(documentation GovernmentOrganization ChineseLanguage "GovernmentOrganization 是官方 Organization 的类别, 它和 GeopoliticalArea 的政府在某程度上有关联。它可以是一个政府的 subOrganization。") | chinese_format.kif 3735-3737 | |
(documentation GovernmentOrganization EnglishLanguage "GovernmentOrganization is the class of official Organizations that are concerned with the government of a GeopoliticalArea at some level. They may be a subOrganization of a government.") | Merge.kif 16701-16704 | |
(subclass GovernmentOrganization Organization) | Merge.kif 16700-16700 | Government organization is a subclass of organization |
appearance as argument number 2 |
(disjoint ParamilitaryOrganization GovernmentOrganization) | Merge.kif 16695-16695 | Paramilitary organization is disjoint from government organization |
(disjoint PrivateSchool GovernmentOrganization) | Mid-level-ontology.kif 16662-16662 | Private school is disjoint from government organization |
(instance DepartmentOfHomelandSecurity GovernmentOrganization) | Government.kif 4827-4827 | Department of homeland security is an instance of government organization |
(instance FederalAviationAdministration GovernmentOrganization) | Transportation.kif 3107-3107 | Federal Aviation Administration is an instance of government organization |
(instance USCustomsAndBorderProtection GovernmentOrganization) | Government.kif 4797-4797 | US customs and border protection is an instance of government organization |
(instance USFEMA GovernmentOrganization) | Mid-level-ontology.kif 26924-26924 | Fema is an instance of government organization |
(instance USFoodAndDrugAdministration GovernmentOrganization) | VirusProteinAndCellPart.kif 1278-1278 | US food and drug administration is an instance of government organization |
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) | Government.kif 4809-4809 | United states department of agriculture is an instance of government organization |
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization) | Government.kif 4812-4812 | United states department of defense is an instance of government organization |
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization) | Government.kif 4854-4854 | United states department of interior is an instance of government organization |
(instance UnitedStatesDepartmentOfState GovernmentOrganization) | Government.kif 4849-4849 | United states department of state is an instance of government organization |
(instance UnitedStatesPostalService GovernmentOrganization) | Government.kif 4819-4819 | United states postal service is an instance of government organization |
(range CabinetFn GovernmentOrganization) | Government.kif 1528-1528 | The range of cabinet is an instance of government organization |
(range JudiciaryFn GovernmentOrganization) | Government.kif 2139-2139 | The range of judiciary is an instance of government organization |
(subclass CoastGuard GovernmentOrganization) | Mid-level-ontology.kif 8341-8341 | Coast guard is a subclass of government organization |
(subclass DiplomaticOrganization GovernmentOrganization) | Government.kif 4696-4696 | Diplomatic organization is a subclass of government organization |
(subclass Government GovernmentOrganization) | Merge.kif 16725-16725 | Government is a subclass of government organization |
(subclass GovernmentCabinet GovernmentOrganization) | Government.kif 1507-1507 | Government cabinet is a subclass of government organization |
(subclass HealthDepartment GovernmentOrganization) | Medicine.kif 3116-3116 | Health department is a subclass of government organization |
(subclass MilitaryOrganization GovernmentOrganization) | Merge.kif 16689-16689 | Military organization is a subclass of government organization |
(subclass PoliceOrganization GovernmentOrganization) | Merge.kif 16742-16742 | Police organization is a subclass of government organization |
(subclass PublicLibrary GovernmentOrganization) | Mid-level-ontology.kif 8488-8488 | Public library is a subclass of government organization |
(subclass PublicSchool GovernmentOrganization) | Mid-level-ontology.kif 16658-16658 | Public school is a subclass of government organization |
(termFormat ChineseLanguage GovernmentOrganization "政府组织") | domainEnglishFormat.kif 26310-26310 | |
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") | domainEnglishFormat.kif 26309-26309 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 | An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization |
(=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2371-2377 |
|
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2085-2090 |
|
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1930-1935 |
|
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16719-16723 |
|
(=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))) |
Merge.kif 16706-16711 |
|
consequent |
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization)) |
Government.kif 1295-1299 |
|
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16713-16717 |
|
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization)) |
Mid-level-ontology.kif 18943-18947 |
|
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2085-2090 |
|
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1930-1935 |
|
(=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2112-2116 |
|
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2017-2021 |
|
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16719-16723 |
|
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 20997-21003 |
|
(=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG)))) |
Government.kif 2353-2360 |
|
(=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 16529-16534 |
|