TreeView Knowledge Base Browser - GovernmentOrganization

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16695-16695	辅助的军事组织和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16662-16662	私立学校和 % 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 26924-26924	USFEMA 是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1278-1278	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 8341-8341	海岸警卫队是政府组织的 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 16725-16725	政府是政府组织的 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 16689-16689	军事组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16742	警察组织是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8488-8488	公共图书馆是政府组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16658-16658	公立学校是政府组织的 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 16719-16723	如果机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16706-16711	如果机构是政府组织的 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 16713-16717	如果机构是政府的 instance 和另一个机构是那个机构 Organization 的一部分，然后那个另外机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18943-18947	如果地位是政府立场的 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 16719-16723	如果机构是另一个机构 Organization 的一部分和那个另外机构是政府组织的 instance，然后那个机构是政府组织的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20997-21003	如果法官是有认知的主事的 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 16529-16534	如果证书是执照的 instance，然后有存在有认知的主事这样那个有认知的主事是政府组织的 instance 和那个有认知的主事是由那个证书的 issued

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: