GovernmentOrganization - Sigma Knowledge base Browser

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	GovernmentOrganization ist eine teilkategorie von Organization

appearance as argument number 2

(disjoint ParamilitaryOrganization GovernmentOrganization)	Merge.kif 16695-16695	ParamilitaryOrganization ist dijunkt von GovernmentOrganization %n{nicht}
(disjoint PrivateSchool GovernmentOrganization)	Mid-level-ontology.kif 16662-16662	PrivateSchool ist dijunkt von GovernmentOrganization %n{nicht}
(instance DepartmentOfHomelandSecurity GovernmentOrganization)	Government.kif 4827-4827	DepartmentOfHomelandSecurity ist ein fall von GovernmentOrganization %n{nicht}
(instance FederalAviationAdministration GovernmentOrganization)	Transportation.kif 3107-3107	FederalAviationAdministration ist ein fall von GovernmentOrganization %n{nicht}
(instance USCustomsAndBorderProtection GovernmentOrganization)	Government.kif 4797-4797	USCustomsAndBorderProtection ist ein fall von GovernmentOrganization %n{nicht}
(instance USFEMA GovernmentOrganization)	Mid-level-ontology.kif 26924-26924	USFEMA ist ein fall von GovernmentOrganization %n{nicht}
(instance USFoodAndDrugAdministration GovernmentOrganization)	VirusProteinAndCellPart.kif 1278-1278	USFoodAndDrugAdministration ist ein fall von GovernmentOrganization %n{nicht}
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization)	Government.kif 4809-4809	UnitedStatesDepartmentOfAgriculture ist ein fall von GovernmentOrganization %n{nicht}
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization)	Government.kif 4812-4812	UnitedStatesDepartmentOfDefense ist ein fall von GovernmentOrganization %n{nicht}
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization)	Government.kif 4854-4854	UnitedStatesDepartmentOfInterior ist ein fall von GovernmentOrganization %n{nicht}
(instance UnitedStatesDepartmentOfState GovernmentOrganization)	Government.kif 4849-4849	UnitedStatesDepartmentOfState ist ein fall von GovernmentOrganization %n{nicht}
(instance UnitedStatesPostalService GovernmentOrganization)	Government.kif 4819-4819	UnitedStatesPostalService ist ein fall von GovernmentOrganization %n{nicht}
(range CabinetFn GovernmentOrganization)	Government.kif 1528-1528	bildbereich von CabinetFn ist ein fall von GovernmentOrganization {nicht}
(range JudiciaryFn GovernmentOrganization)	Government.kif 2139-2139	bildbereich von JudiciaryFn ist ein fall von GovernmentOrganization {nicht}
(subclass CoastGuard GovernmentOrganization)	Mid-level-ontology.kif 8341-8341	CoastGuard ist eine teilkategorie von GovernmentOrganization
(subclass DiplomaticOrganization GovernmentOrganization)	Government.kif 4696-4696	DiplomaticOrganization ist eine teilkategorie von GovernmentOrganization
(subclass Government GovernmentOrganization)	Merge.kif 16725-16725	Government ist eine teilkategorie von GovernmentOrganization
(subclass GovernmentCabinet GovernmentOrganization)	Government.kif 1507-1507	GovernmentCabinet ist eine teilkategorie von GovernmentOrganization
(subclass HealthDepartment GovernmentOrganization)	Medicine.kif 3116-3116	HealthDepartment ist eine teilkategorie von GovernmentOrganization
(subclass MilitaryOrganization GovernmentOrganization)	Merge.kif 16689-16689	MilitaryOrganization ist eine teilkategorie von GovernmentOrganization
(subclass PoliceOrganization GovernmentOrganization)	Merge.kif 16742-16742	PoliceOrganization ist eine teilkategorie von GovernmentOrganization
(subclass PublicLibrary GovernmentOrganization)	Mid-level-ontology.kif 8488-8488	PublicLibrary ist eine teilkategorie von GovernmentOrganization
(subclass PublicSchool GovernmentOrganization)	Mid-level-ontology.kif 16658-16658	PublicSchool ist eine teilkategorie von GovernmentOrganization
(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	Organization ist ein fall von GovernmentOrganization %n{nicht} genau dann wenn Organization ist ein fall von Government %n{nicht} oder es gibt Organization um Organization ist ein fall von Government %n{nicht} und subOrganization Organization and ** Organization
(=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG))	Government.kif 2371-2377	Wenn CognitiveAgent ist ein fall von PoliticalPressureGroup %n{nicht} und organizationalObjective CognitiveAgent and AreaOfConcern und AutonomousAgent ist ein fall von GovernmentOrganization %n{nicht} und organizationalObjective AutonomousAgent and AreaOfConcern, dann CognitiveAgent ist an ** AutonomousAgent interessiert %n{nicht}
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2085-2090	Wenn Organization ist ein fall von JudicialOrganization %n{nicht} und subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann ** Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1930-1935	Wenn Organization ist ein fall von LegislativeOrganization %n{nicht} und subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann ** Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Merge.kif 16719-16723	Wenn subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))	Merge.kif 16706-16711	Wenn Organization ist ein fall von GovernmentOrganization %n{nicht}, dann es gibt Organization um Organization ist ein fall von Government %n{nicht} und subOrganization Organization and Organization

consequent

(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization))	Government.kif 1295-1299	Wenn executiveBranch Organization and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization))	Merge.kif 16713-16717	Wenn Organization ist ein fall von Government %n{nicht} und subOrganization Organization and Organization, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 18943-18947	Wenn Position ist ein fall von GovernmentPosition %n{nicht} und Human besetzt die position von Position in PositionRG, dann ** PositionRG ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2085-2090	Wenn Organization ist ein fall von JudicialOrganization %n{nicht} und subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann ** Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1930-1935	Wenn Organization ist ein fall von LegislativeOrganization %n{nicht} und subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann ** Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 2112-2116	Wenn judicialBranch Organization and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 2017-2021	Wenn legislativeBranch Organization and AutonomousAgent und AutonomousAgent ist ein fall von GeopoliticalArea %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Merge.kif 16719-16723	Wenn subOrganization Organization and Organization und Organization ist ein fall von GovernmentOrganization %n{nicht}, dann Organization ist ein fall von GovernmentOrganization %n{nicht}
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON))))	Mid-level-ontology.kif 20997-21003	Wenn JudgeAtLaw ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt AutonomousAgent um AutonomousAgent ist ein fall von JudicialOrganization %n{nicht} und AutonomousAgent ist ein fall von GovernmentOrganization %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht}
(=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG))))	Government.kif 2353-2360	Wenn AutonomousAgent ist ein fall von PoliticalPressureGroup %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von Requesting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein fall von GovernmentOrganization %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG))))	Mid-level-ontology.kif 16529-16534	Wenn Certificate ist ein fall von License %n{nicht}, dann es gibt CognitiveAgent um CognitiveAgent ist ein fall von GovernmentOrganization %n{nicht} und issuedBy Certificate and ** CognitiveAgent

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

KB Term:			Term intersection

English Word: