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	子類政府組織 and Organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16673-16673	不相交的輔助的軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16663-16663	不相交的私立學校 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4827-4827	例國土安全部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3107-3107	例 FederalAviationAdministration and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4797-4797	例美國海關和邊境保護局 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26936-26936	例 USFEMA and 政府組織
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1279-1279	例 USFoodAndDrugAdministration and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4809-4809	例美國農業部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4812-4812	例美國國防部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4854-4854	例美國內政部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4849-4849	例美國國務院 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4819-4819	例美國郵政局 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	範圍內閣 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2139-2139	範圍司法 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8342-8342	子類海岸警衛隊 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4696-4696	子類外交組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16703-16703	子類 Government and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1507-1507	子類政府內閣 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3116-3116	子類 HealthDepartment and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16667-16667	子類軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16720-16720	子類警察組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8489-8489	子類公共圖書館 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16659-16659	子類公立學校 and 政府組織
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	例 Organization and 政府組織例 Organization and Government Organization 例 Organization and Government 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2371-2377	例 CognitiveAgent and 政治壓力集團關注的區域是 CognitiveAgent 的 organizational 目標例 AutonomousAgent and 政府組織關注的區域是 AutonomousAgent 的 organizational 目標在感興趣的範圍內 CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	例 Organization and 司法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	例 Organization and 立法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16689	例 Organization and 政府組織 Organization 例 Organization and Government 子組織 Organization and Organization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1295-1299	AutonomousAgent 是 Organization 的 executive 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16691-16695	例 Organization and Government 子組織 Organization and Organization 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18944-18948	例 Position and 政府立場佔據位置 Human, Position and PositionRG 例 PositionRG and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	例 Organization and 司法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	例 Organization and 立法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2112-2116	AutonomousAgent 是 Organization 的 judicial 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2017-2021	AutonomousAgent 是 Organization 的 legislative 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20998-21004	attribute CognitiveAgent and 法官 AutonomousAgent 例 AutonomousAgent and 司法組織例 AutonomousAgent and 政府組織採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2353-2360	例 AutonomousAgent and 政治壓力集團 Process Entity 例 Process and Requesting agent Process and AutonomousAgent 例 Entity and 政府組織患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16530-16535	例 Certificate and 執照 CognitiveAgent 例 CognitiveAgent and 政府組織 CognitiveAgent 是由 Certificate 的 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: