GovernmentOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3735-3737
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15555-15558
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15554-15554	Government organization is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15549-15549	Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14291-14291	Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4790-4790	Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3085-3085	Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4760-4760	US customs and border protection is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25154-25154	Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 717-717	USFoodAndDrugAdministration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4772-4772	United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4775-4775	United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4817-4817	United states department of interior is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4812-4812	United states department of state is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4782-4782	United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1514-1514	The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2125-2125	The range of judiciary is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8051-8051	Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4659-4659	Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15573-15573	Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1493-1493	Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15543-15543	Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15590-15590	Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8195-8195	Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14287-14287	Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26308-26308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26307-26307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26306-26306

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15560-15565	An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
No TPTP formula. May not be expressible in strict first order.	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 は組織 the other organization の一部では %n
No TPTP formula. May not be expressible in strict first order.	Government.kif 2344-2350	If a cognitive agent is an instance of political pressure group and an area of concern is an organizational objective of the cognitive agent and an agent is an instance of government organization and the area of concern is an organizational objective of the agent, then the cognitive agent is interested in the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2071-2076	If an organization is an instance of judicial organization and the organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1916-1921	If an organization is an instance of legislative organization and the organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15567-15571	If an organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1281-1285	If an agent is an executive branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16702-16706	If a position is an instance of government position and a human holds the position of the position in the positionRG, then the positionRG is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2071-2076	If an organization is an instance of judicial organization and the organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1916-1921	If an organization is an instance of legislative organization and the organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2098-2102	If an agent is a judicial branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2003-2007	If an agent is a legislative branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15567-15571	If an organization は組織 another organization の一部では %n and the other organization is an instance of government organization, then the organization is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18710-18716	If judge is an attribute of a cognitive agent, then there exists an agent such that the agent is an instance of judicial organization and the agent is an instance of government organization and the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2326-2333	If an agent is an instance of political pressure group, then there exist a process and an entity such that the process is an instance of requesting and the agent is an agent of the process and the entity is an instance of government organization and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14147-14152	If a certificate is an instance of license, then there exists a cognitive agent such that the cognitive agent is an instance of government organization and the cognitive agent is an issued by of the certificate

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: