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 16679-16682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16678-16678	政府组织是机构的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16673-16673	辅助的军事组织和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16663-16663	私立学校和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Government.kif 4827-4827	国土安全部是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3107-3107	FederalAviationAdministration 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4797-4797	美国海关和边境保护局是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26936-26936	USFEMA 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1279-1279	USFoodAndDrugAdministration 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4809-4809	美国农业部是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4812-4812	美国国防部是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4854-4854	美国内政部是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4849-4849	美国国务院是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4819-4819	美国邮政局是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	内阁的 range 是政府组织的实例
No TPTP formula. May not be expressible in strict first order.	Government.kif 2139-2139	司法的 range 是政府组织的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8342-8342	海岸警卫队是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 4696-4696	外交组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16703-16703	政府是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 1507-1507	政府内阁是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3116-3116	HealthDepartment 是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16667-16667	军事组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16720-16720	警察组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8489-8489	公共图书馆是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16659-16659	公立学校是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26310-26310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26309-26309

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.	Government.kif 108-115	机构是政府组织的 instance 若且唯若那个机构是政府的 instance 或有存在另一个机构这样那个另外机构是政府的 instance 和那个机构是那个另外机构 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 2371-2377	如果有认知的主事是政治压力集团的 instance 和关注的区域是那个有认知的主事的 organizational 目标和施事体是政府组织的 instance 和那个关注的区域是那个施事体的 organizational 目标，然后那个有认知的主事对那个施事体感兴趣
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	如果机构是司法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	如果机构是立法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	如果机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16689	如果机构是政府组织的 instance，然后有存在另一个机构这样那个另外机构是政府的 instance 和那个机构是那个另外机构 Organization 的一部分

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	如果施事体是机构的 executive 分支和那个施事体是地缘政治区域的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16691-16695	如果机构是政府的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18944-18948	如果地位是政府立场的 instance 和人类在那个地位RG 任职那个地位，然后那个地位RG 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	如果机构是司法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	如果机构是立法组织的 instance 和那个机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2112-2116	如果施事体是机构的 judicial 分支和那个施事体是地缘政治区域的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2017-2021	如果施事体是机构的 legislative 分支和那个施事体是地缘政治区域的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	如果机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20998-21004	如果法官是有认知的主事的 attribute，然后有存在施事体这样那个施事体是司法组织的 instance 和那个施事体是政府组织的 instance 和那个施事体 employs 那个有认知的主事
No TPTP formula. May not be expressible in strict first order.	Government.kif 2353-2360	如果施事体是政治压力集团的 instance，然后有存在过程和实体这样那个过程是要求的 instance 和那个施事体是那个过程的 agent 和那个实体是政府组织的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16530-16535	如果证书是执照的 instance，然后有存在有认知的主事这样那个有认知的主事是政府组织的 instance 和那个有认知的主事是由那个证书的 issued

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: