TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3751-3753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16745-16748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	域子組織, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	域子組織, 2 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16742	例子組織 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16741-16741	子關係子組織 and 子集合

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	不相交的關係祖先組織 and 子組織
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 810-810
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 549-549
No TPTP formula. May not be expressible in strict first order.	english_format.kif 554-554
No TPTP formula. May not be expressible in strict first order.	english_format.kif 823-823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 486-486
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2090-2090
No TPTP formula. May not be expressible in strict first order.	english_format.kif 824-824
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 343-343
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 508-508
No TPTP formula. May not be expressible in strict first order.	Government.kif 2060-2060	子關係立法機關 and 子組織
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55764-55764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55763-55763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55762-55762

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1985	attribute Organization and 一院制立法機關 GeopoliticalArea 是 Organization 的 legislative 分支例 Organization and 立法院子組織 Organization and 政府 GeopoliticalArea 例 Organization and 立法院子組織 Organization and 政府 GeopoliticalArea 等於 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and Nation 例 Organization and 外交組織子組織 Organization and 政府 GeopoliticalArea 佔據位置 Human, Position and Organization 例 AutonomousAgent and GeopoliticalArea AutonomousAgent 是 agent 運作在 Organization 地區
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	等於 Organization and DepartmentOfFn Organization and Physical 子組織 Organization and Organization 等於 Organization and Organization 例 Entity and Physical 在感興趣的範圍內 Organization and Entity 等於 RealNumber and 可能性 agent entity and Organization 等於 entity and 可能性 agent entity and Organization 比較多 RealNumber and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18401-18406	等於 Organization and DepartmentOfPreventingFn Organization and Physical 子類 Physical and Process 子組織 Organization and Organization 抑制 Organization and Physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	GeopoliticalArea 是 Organization 的 executive 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and Organization 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	例 Organization and 政府內閣子組織 Organization and 政府 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 有目的 Organization and entity entity 例 entity and Stating agent entity and Organization 患者 entity and entity 政府 GeopoliticalArea 是 entity 的 leader
No TPTP formula. May not be expressible in strict first order.	Government.kif 2191-2196	例 Organization and 最高法院子組織 Organization and 政府 GeopoliticalArea 例 GeopoliticalArea and Nation 例 Organization and GeopoliticalArea 的 supreme 法庭
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.	MilitaryPersons.kif 371-376	例 Organization and 聯合部隊子組織 Organization and Organization 例 Organization and 空軍聯合部隊空軍司令是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 393-398	例 Organization and 聯合部隊子組織 Organization and Organization 例 Organization and 軍隊聯合部隊陸軍指揮官是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 425-430	例 Organization and 聯合部隊子組織 Organization and Organization 例 Organization and 海岸警衛隊聯合部隊海上指揮官是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 417-422	例 Organization and 聯合部隊子組織 Organization and Organization 例 Organization and NavyBranchOfService 聯合部隊海上指揮官是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 446-451	例 Organization and 聯合部隊子組織 Organization and Organization 例 Organization and 特種作戰部隊聯合部隊特種作戰指揮官是 Organization 的 leader 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	例 Organization and 聯合部隊子組織 Organization and Organization Position 是 Organization 的 leader 職位 OrganizationCOMMANDER 是 Organization 的 leader 職位 Organization 是對於 %3 的 subordinate 職位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	例 Organization and 聯合部隊子組織 Organization and Organization 子組織 Organization and Organization 等於 Organization and Organization OrganizationCOMMANDER 是 Organization 的 leader 職位 OrganizationCOMMANDER 是 Organization 的 leader 職位 OrganizationCOMMANDER 是 Organization 的 leader 職位
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.	Mid-level-ontology.kif 8526-8536	例 Organization and 安全部門子組織 Organization and Organization 持有義務 entity 例 entity and Maintaining agent entity and Organization 患者 entity and Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	GeopoliticalArea 是 Organization 的 judicial 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and Organization 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	子組織 Organization and Organization 例 Organization and 政府組織例 Organization and 政府組織

consequent

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 4648-4657	GeopoliticalArea 是對於 %3 的 diplomatic 類別例 GeopoliticalArea and Nation 例 AutonomousAgent and GeopoliticalArea Organization 例 Organization and Organization 位於 Organization and AutonomousAgent 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	Organization 是對於 %3 的 diplomatic 類別例 Organization and Organization 例 AutonomousAgent and GeopoliticalArea Organization 例 Organization and Organization 位於 Organization and AutonomousAgent 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4470-4478	GeopoliticalArea 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human 例 GeopoliticalArea and Nation Organization 例 Organization and 外交組織子組織 Organization and 政府 GeopoliticalArea 佔據位置 Human, Position and Organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	元件 Object and 屬性 Organization attribute Object and AnnexRoom 例 Object and HotelRoom Object Object and Organization 子組織 Organization and Organization 例 Organization and HotelFrontDesk 位於 Organization and Object 元件 Object and 屬性 Organization 元件 Object and 屬性 Organization 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	GeopoliticalArea 是 Organization 的 executive 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and Organization 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	GeopoliticalArea 是 Organization 的 executive 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	Organization 是 Organization 的 executive 分支例 Organization and Organization 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	%2 是 1% 的 government 類別例 GeopoliticalArea and GeopoliticalArea 子屬性政體 and 議會政府 Organization 例 Organization and 議會子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	例 Process and 疏散 agent Process and Organization 體驗者 Process and AutonomousAgent Process ProcessA 例 Process and Classifying 子過程 Process and Process 體驗者 Process and AutonomousAgent 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	例 Process and 疏散 agent Process and Organization 起源 Process and Object Process ProcessA 例 Process and 易位子過程 Process and Process 起源 Process and Object 體驗者 Process and ProcessA agent Process and ProcessA 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	例 Process and 疏散體驗者 Process and AutonomousAgent agent Process and Organization Process ProcessA 例 Process and TherapeuticProcess 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Transportation 目的地 Process and Object 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA 患者 Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16305-16324	例 Process and 組織合併患者 Process and Entity 患者 Process and Entity 等於 Entity and Entity 持有期間開始何時 Process and entity 子組織 Entity and entity 子組織 Entity and entity 持有期間結束何時 Process and entity 子組織 Entity and entity 子組織 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	GeopoliticalArea 是 Organization 的 judicial 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and Organization 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 2124-2128	GeopoliticalArea 是 Organization 的 judicial 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 2118-2122	Organization 是 Organization 的 judicial 分支例 Organization and Organization 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2023-2027	Organization 是 Organization 的 legislative 分支例 Organization and Organization 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2029-2033	GeopoliticalArea 是 Organization 的 legislative 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 693-700	軍事單位是軍事單位的 sub 梯隊例 Organization and 軍事單位 Organization 例 Organization and 軍事單位子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	子類 ContentBearingObject and 聯合出版物例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Formula 作者 AutonomousAgent and ContentBearingObject Organization 子組織 Organization and 美軍授予義務 Formula, AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	attribute Object and ExpeditionaryForce 有目的 Object and entity entity and entity 子組織 Object and 政府 entity 例 entity and Battle agent entity and Object 例 entity and Nation 位於 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	Organization 是 Business 的 business 單位子組織 Organization and Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8427-8435	軍事單位是軍事單位的 hostile 力量 Contest GeopoliticalArea and GeopoliticalArea 例 Contest and War GeopoliticalArea participates 在 Contest GeopoliticalArea participates 在 Contest 子組織軍事單位 and 政府 GeopoliticalArea 子組織軍事單位 and 政府 GeopoliticalArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5558-5558	子組織 Aetna and CVS
No TPTP formula. May not be expressible in strict first order.	Government.kif 3077-3077	子組織社會發展委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3079-3079	子組織預防犯罪和刑事司法委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3081-3081	子組織人權委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3083-3083	子組織麻醉藥品委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3085-3085	子組織人口與發展委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3087-3087	子組織科學和技術促進發展委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3089-3089	子組織可持續發展委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3091-3091	子組織婦女地位委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 4828-4828	子組織國土安全部 and 政府美國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3093-3093	子組織亞洲及太平洋經濟社會委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3095-3095	子組織西亞經濟社會委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3076-3076	子組織經濟和社會理事會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 3097-3097	子組織非洲經濟委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3099-3099	子組織歐洲經濟委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3101-3101	子組織拉丁美洲和加勒比經濟委員會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4472-4472	子組織 FitbitCompany and Google
No TPTP formula. May not be expressible in strict first order.	Government.kif 3103-3103	子組織糧食及農業組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 17-17	子組織 GoogleCorporation and Alphabet公司
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4503-4503	子組織 HoldenCorporation and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order.	Government.kif 3104-3104	子組織國際原子能機構 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3105-3105	子組織國際重建和發展銀行 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3416-3416	子組織國際重建和發展銀行 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4319-4319	子組織國際重建和發展銀行 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	Government.kif 3106-3106	子組織國際投資爭端秘書處 and 經濟和社會理事會

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: