Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass GovernmentOrganization Organization) | Merge.kif 17035-17035 | Government organization is a subclass of organization |
| (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 17036-17039 | Government organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass MilitaryOrganization GovernmentOrganization) | Merge.kif 17024-17024 | Military organization is a subclass of government organization |
| (disjoint ParamilitaryOrganization GovernmentOrganization) | Merge.kif 17030-17030 | Paramilitary organization is disjoint from government organization |
| (subclass Government GovernmentOrganization) | Merge.kif 17060-17060 | Government is a subclass of government organization |
| (subclass PoliceOrganization GovernmentOrganization) | Merge.kif 17074-17074 | Police organization is a subclass of government organization |
| (subclass JudicialOrganization GovernmentOrganization) | Merge.kif 17078-17078 | Judicial organization is a subclass of government organization |
| (subclass CoastGuard GovernmentOrganization) | Mid-level-ontology.kif 9702-9702 | Coast guard is a subclass of government organization |
| (subclass PublicLibrary GovernmentOrganization) | Mid-level-ontology.kif 9849-9849 | Public library is a subclass of government organization |
| (subclass PublicSchool GovernmentOrganization) | Mid-level-ontology.kif 18273-18273 | Public school is a subclass of government organization |
| (disjoint PrivateSchool GovernmentOrganization) | Mid-level-ontology.kif 18277-18277 | Private school is disjoint from government organization |
| (instance USFEMA GovernmentOrganization) | Mid-level-ontology.kif 29530-29530 | Fema is an instance of government organization |
| (subclass GovernmentCabinet GovernmentOrganization) | Government.kif 1478-1478 | Government cabinet is a subclass of government organization |
| (range CabinetFn GovernmentOrganization) | Government.kif 1499-1499 | The range of cabinet is an instance of government organization |
| (subclass DiplomaticOrganization GovernmentOrganization) | Government.kif 4688-4688 | Diplomatic organization is a subclass of government organization |
| (instance USCustomsAndBorderProtection GovernmentOrganization) | Government.kif 4789-4789 | US customs and border protection is an instance of government organization |
| (instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization) | Government.kif 4801-4801 | United states department of agriculture is an instance of government organization |
| (instance UnitedStatesDepartmentOfDefense GovernmentOrganization) | Government.kif 4804-4804 | United states department of defense is an instance of government organization |
| (instance UnitedStatesPostalService GovernmentOrganization) | Government.kif 4811-4811 | United states postal service is an instance of government organization |
| (instance DepartmentOfHomelandSecurity GovernmentOrganization) | Government.kif 4819-4819 | Department of homeland security is an instance of government organization |
| (instance UnitedStatesDepartmentOfState GovernmentOrganization) | Government.kif 4841-4841 | United states department of state is an instance of government organization |
| (instance UnitedStatesDepartmentOfInterior GovernmentOrganization) | Government.kif 4846-4846 | United states department of interior is an instance of government organization |
| (subclass HealthDepartment GovernmentOrganization) | Medicine.kif 3122-3122 | Health department is a subclass of government organization |
| (instance FederalAviationAdministration GovernmentOrganization) | Transportation.kif 4553-4553 | Federal Aviation Administration is an instance of government organization |
| (instance USFoodAndDrugAdministration GovernmentOrganization) | VirusProteinAndCellPart.kif 1266-1266 | US food and drug administration is an instance of government organization |
| (termFormat EnglishLanguage GovernmentOrganization "government organization") | domainEnglishFormat.kif 26312-26312 | US food and drug administration is an instance of government organization |
| (termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織") | domainEnglishFormat.kif 26313-26313 | US food and drug administration is an instance of government organization |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))) |
Merge.kif 17041-17046 | If X is an instance of government organization, then there exists Y such that Y is an instance of government and X is a part of the organization Y |
| (=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 17054-17058 | If X is a part of the organization Y and Y is an instance of government organization, then X is an instance of government organization |
| (<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 | X is an instance of government organization if, only if X is an instance of government or there exists Y such that Y is an instance of government, and X is a part of the organization Y |
| (=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1901-1906 | If X is an instance of legislative organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
| (=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2056-2061 | If X is an instance of judicial organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2341-2347 | If X is an instance of political pressure group, Y is an organizational objective of X, Z is an instance of government organization, and Y is an organizational objective of Z, then X is interested in Z |
| consequent |
|
|
| (=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 17048-17052 | If X is an instance of government and Y is a part of the organization X, then Y is an instance of government organization |
| (=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 17054-17058 | If X is a part of the organization Y and Y is an instance of government organization, then X is an instance of government organization |
| (=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 18144-18149 | If X is an instance of license, then there exists Y such that Y is an instance of government organization and Y is an issued by of X |
| (=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization)) |
Mid-level-ontology.kif 20881-20885 | If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization |
| (=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 23240-23246 | If judge is an attribute of X, then there exists Y such that Y is an instance of judicial organization, Y is an instance of government organization, and Y employs X |
| (=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization)) |
Government.kif 1266-1270 | If X is an executive branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
| (=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1901-1906 | If X is an instance of legislative organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
| (=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1988-1992 | If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
| (=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2056-2061 | If X is an instance of judicial organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
| (=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2083-2087 | If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
| (=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG)))) |
Government.kif 2323-2330 | If X is an instance of political pressure group, then there exist Y, Z such that Y is an instance of requesting, X is an agent of Y, Z is an instance of government organization, and Z is a patient of Y |
| (=> (and (attribute ?X BlueforceControlled) (instance ?X Object)) (exists (?A) (and (instance ?A GovernmentOrganization) (possesses ?A ?X) (or (subOrganization ?A (GovernmentFn UnitedStates)) (allied ?A (GovernmentFn UnitedStates)))))) |
MilitaryProcesses.kif 2849-2861 | If blue force controlled is an attribute of X and X is an instance of object, then there exists Y such that Y is an instance of government organization, Y possesses X, Y is a part of the organization the government of united states or Y, and the government of united states are allies of each other |
|
