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 16750-16753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16749-16749	子類政府組織 and Organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	不相交的輔助的軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16690-16690	不相交的私立學校 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4791-4791	例國土安全部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3159-3159	例 FederalAviationAdministration and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4761-4761	例美國海關和邊境保護局 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26969-26969	例 USFEMA and 政府組織
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1280-1280	例 USFoodAndDrugAdministration and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4773-4773	例美國農業部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4776-4776	例美國國防部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4818-4818	例美國內政部 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4813-4813	例美國國務院 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4783-4783	例美國郵政局 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1492-1492	範圍內閣 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2103-2103	範圍司法 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8369-8369	子類海岸警衛隊 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4660-4660	子類外交組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16774-16774	子類 Government and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1471-1471	子類政府內閣 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 16738-16738	子類軍事組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16791-16791	子類警察組織 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8516-8516	子類公共圖書館 and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16686-16686	子類公立學校 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 2335-2341	例 CognitiveAgent and 政治壓力集團關注的區域是 CognitiveAgent 的 organizational 目標例 AutonomousAgent and 政府組織關注的區域是 AutonomousAgent 的 organizational 目標在感興趣的範圍內 CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2049-2054	例 Organization and 司法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1894-1899	例 Organization and 立法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16768-16772	子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16755-16760	例 Organization and 政府組織 Organization 例 Organization and Government 子組織 Organization and Organization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1259-1263	AutonomousAgent 是 Organization 的 executive 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16762-16766	例 Organization and Government 子組織 Organization and Organization 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18971-18975	例 Position and 政府立場佔據位置 Human, Position and PositionRG 例 PositionRG and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2049-2054	例 Organization and 司法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1894-1899	例 Organization and 立法組織子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 2076-2080	AutonomousAgent 是 Organization 的 judicial 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1981-1985	AutonomousAgent 是 Organization 的 legislative 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16768-16772	子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21025-21031	attribute CognitiveAgent and 法官 AutonomousAgent 例 AutonomousAgent and 司法組織例 AutonomousAgent and 政府組織採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2317-2324	例 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 16557-16562	例 Certificate and 執照 CognitiveAgent 例 CognitiveAgent and 政府組織 CognitiveAgent 是由 Certificate 的 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: