TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2724-2725
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8374-8376
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	域早期, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	域早期, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8366-8366	例早期 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8369-8369	例早期 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8367-8367	例早期 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8370-8370	例早期 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8368-8368	例早期 and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	english_format.kif 443-443
No TPTP formula. May not be expressible in strict first order.	french_format.kif 253-253
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 87-87
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2047-2047
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 571-571
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 274-274
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 277-277
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 189-189
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8100-8100	相關的內部概念之前 and 早期
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20790-20790
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20789-20789
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20788-20788
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 190-190

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8281-8288	早期 TimeInterval and TimeInterval 例 TimePoint and TimePoint 例 TimePoint and TimePoint 時間部分 TimePoint and TimeInterval 時間部分 TimePoint and TimeInterval 之前 TimePoint and TimePoint
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	%2 是 1% 的 government 類別例 Organism and Human 例 Organism and Human 持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism 家庭關係 Organism and Organism 早期 TimeInterval and TimeInterval 模態屬性持有期間 TimeInterval and AutonomousAgent 州 entity 的 chief 對於 Organism and 可能性
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	持有期間 TimeInterval and 慾望 AutonomousAgent and attribute Entity and 死例 AutonomousAgentURDER and 謀殺 agent AutonomousAgentURDER and AutonomousAgent 患者 AutonomousAgentURDER and Entity 早期 TimeInterval and 何時 AutonomousAgentURDER attribute AutonomousAgentURDER and Premeditated
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 體驗者 Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 結果 Process and Entity 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9774-9795	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期何時 Process2 and 何時 Transfer 模態屬性持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8378-8380	早期 TimeInterval and TimeInterval 之前結束 TimeInterval and 開始 TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	attribute 用戶帳號 and TwoFactorAuthentication loggedInDuring AutonomousAgent, 用戶帳號 and TimeInterval TimeIntervalF 例 TimeIntervalF and TwoFactorLoggingIn agent TimeIntervalF and AutonomousAgent accountUsed TimeIntervalF and 用戶帳號早期何時 TimeIntervalF and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Government.kif 612-617	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 TimeInterval and 假日例 TimeInterval and 年 Integer 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	持有期間 TimeInterval and attribute AutonomousAgent and ChronicFatigueSyndrome 例 Process and RecreationOrExercise agent Process and AutonomousAgent 期間何時 Process and TimeInterval 模態屬性持有期間 TimeInterval and attribute AutonomousAgent and PostExertionalMalaise 早期何時 Process and TimeInterval and 容易
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity-PLACE and entity-RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity-RES and Object 例 entity-PLACE and GeopoliticalArea 位於 entity-RES and entity-PLACE 等於 GeographicArea and entity-PLACE 等於 entity and entity-RES GeographicArea 是 entity-PLACE 的 geographic 次要地區 entity-PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity-RES
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	持有期間 TimeInterval and attribute AutonomousAgent and 撤離者例 TimeInterval and TimeInterval Process AutonomousAgent 例 Process and 疏散 agent Process and AutonomousAgent 例 AutonomousAgent and 軍事組織體驗者 Process and AutonomousAgent 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	持有期間 TimeInterval and attribute entity and 國內流離失所者例 TimeInterval and TimeInterval entity TimeInterval 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and attribute entity and 國內流離失所者是持有期間 TimeInterval and entity fears entity 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7982	持有期間 TimeInterval and Entity 是 Entity 的 spouse 例 TimeInterval and TimeInterval Process 例 Process and 婚禮患者 Process and Entity 患者 Process and Entity 早期何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14337-14344	持有期間 TimeInterval and 發展形式 entity and Attribute 後繼屬性關閉 Attribute and Attribute TimeInterval 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 發展形式 entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	例 Transfer and 遺贈 agent Transfer and AutonomousAgent 目的地 Transfer and Entity objectTransferred Transfer and AutonomousAgentROP Process 例 Process and Death 體驗者 Process and AutonomousAgent 早期何時 Process and 何時 Transfer 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and AutonomousAgentROP AutonomousAgent confers 規範擁有 Entity and AutonomousAgentROP 對於允許
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24019-24028	例 Process and Birth 起源 Process and Object Entity TimeInterval 例 Entity and Zygote 早期 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	例 Process and 流血的體驗者 Process and AutonomousAgent Object Process 例 Object and 靜脈例 Object and 動脈部分 Object and AutonomousAgent 例 Process and Damaging 早期何時 Process and 何時 Process 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 778-788	例 Process and 健美運動 agent Process and AutonomousAgent Process 例 Process and Weightlifting agent Process and AutonomousAgent 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	例 Transfer and BreakthroughInfection objectTransferred Transfer and Object 例 Object and ObjectC 體驗者 Transfer and AutonomousAgent ObjectAX 例 ObjectAX and Vaccination 體驗者 ObjectAX and AutonomousAgent vaccine ObjectACCINECLASS and ObjectC 例 ObjectACCINE and ObjectACCINECLASS objectTransferred ObjectAX and ObjectACCINE 早期何時 ObjectAX and 何時 Transfer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	例電腦程序 and ComputerBackingUp 數字數據是由電腦程序 processed 例數字數據 and 數字數據 agent 電腦程序 and CognitiveAgent 慾望 CognitiveAgent and entity 早期何時電腦程序 and entity 持有期間 entity and entity 例 entity and 電腦程序能力 entity, 數據已處理 and 數字數據
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	例 TimeInterval and Confirming agent TimeInterval and 協議包含信息 TimeInterval and Proposition TimeInterval 內容承載物理 and 協議2 例 TimeInterval and Stating 早期 TimeInterval and TimeInterval 例內容承載物理 and ReachingAgreement agent TimeInterval and 協議2 包含信息內容承載物理 and Proposition 包含信息 TimeInterval and Proposition 協議是內容承載物理的 party 協議協議2 是內容承載物理的 party 協議
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10941-10954	例 Process and Decreasing 患者 Process and Entity RealNumber RealNumber, TimeInterval, TimeInterval and entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and entity 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and entity 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10899-10912	例 Process and Increasing 患者 Process and Entity RealNumber RealNumber, TimeInterval, TimeInterval and entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and entity 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10878-10891	例 Process and QuantityChange 患者 Process and Entity entity entity, TimeInterval, TimeInterval and entity 早期 TimeInterval and TimeInterval 持有期間 TimeInterval and 測量 Entity and 測量 entity and entity 持有期間 TimeInterval and 測量 Entity and 測量 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 例 TimeInterval and 天 PositiveInteger and 月 Month and 年 Integer 比較多 PositiveInteger and PositiveInteger 早期 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	WMD.kif 750-758	例 Process and 拆除大規模殺傷性武器患者 Process and Entity Process 例 Process and 發展大規模殺傷性武器結果 Process and Entity 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16690-16702	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16671-16683	例 Process and Matriculation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 學院 Process AutonomousAgent 例 Process and Graduation agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and 中學早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	例 AutonomousAgent and 人 attribute AutonomousAgent and mausaharati 例 Process and 鼓聲 agent Process and AutonomousAgent 例 ProcessAY and Day 例 TimeInterval and 日出期間 TimeInterval and ProcessAY 早期何時 Process and TimeInterval 有目的 Process and entity TimeIntervalUHUR and entity 例 entity and 起來體驗者 entity and entity 例 TimeIntervalUHUR and 封齋飯 agent TimeIntervalUHUR and entity 早期何時 entity and 何時 TimeIntervalUHUR 期間何時 entity and ProcessAY 期間何時 TimeIntervalUHUR and ProcessAY

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18202-18219

降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀患者 ?READ and ?INFO 早期何時 ?CUT and 何時 ?READ

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

KB Term:			Term intersection

English Word: