TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	域體驗者, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	域體驗者, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	例體驗者 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	例體驗者 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	子關係體驗者 and 參與活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13083-13083	子關係出席 and 體驗者
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23446-23446	子關係失去控制 and 體驗者
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22890-22890	子關係服務接收者 and 體驗者
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 216-216

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6357-6364	體驗者 Process and AutonomousAgent 例 AutonomousAgent and PainFn BodyPart BodyPartART 部分 BodyPartART and Process 位於 BodyPartART and BodyPart
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	Physical 的使用是對於 AutonomousAgent 免費例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent Process 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	持有期間 TimeInterval and attribute AutonomousAgent and AVPUPainStatus 例 Process and 痛期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent Process 例 Process and BodyMotion 體驗者 Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	持有期間 TimeInterval and attribute AutonomousAgent and 胚胎例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18187	持有期間 TimeInterval and attribute AutonomousAgent and 幼蟲例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17203	例 Process and 加速等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent Process 例 Process and 減速體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	例 Process and Anaphylaxis 體驗者 Process and AutonomousAgent 模態屬性 entity 例 entity and Death 體驗者 entity and AutonomousAgent 原因 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	例 Process and Asphyxiation 體驗者 Process and AutonomousAgent 持有期間何時 Process and entity 例 entity and Breathing 體驗者 entity and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	例 Process and RheumatoidArthritis 體驗者 Process and AutonomousAgent 模態屬性 entity 例 entity and JointPain 原因 Process and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	例 Process and AutoImmuneDisorder 體驗者 Process and CognitiveAgent Object Process and Object 例 Object and 抗體部分 Object and CognitiveAgent 例 Object and Cell 部分 Object and CognitiveAgent 例 Process and Destruction 儀器 Process and Object 慾望 CognitiveAgent and ~{ 例 Process and Destruction } ~{ 儀器 Process and Object }
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16343-16353	例 Process and 變得醉了體驗者 Process and AutonomousAgent 持有期間開始何時 Process and attribute AutonomousAgent and 清醒持有期間結束何時 Process and attribute AutonomousAgent and 醉
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.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and Attaching agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	例 Process and 臉紅體驗者 Process and AutonomousAgent TimeInterval TimeInterval, Entity and Entity 例 Entity and EmotionalState 例 Entity and EmotionalState 等於 Entity and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 持有期間 TimeInterval and attribute AutonomousAgent and Entity 啟動何時 Process and TimeInterval 飾面何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16363-16373	例 Process and 清醒來體驗者 Process and AutonomousAgent 持有期間開始何時 Process and attribute AutonomousAgent and 醉持有期間結束何時 Process and attribute AutonomousAgent and 清醒
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.	Merge.kif 10197-10204	例 Process and Birth 體驗者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21395-21403	例 Process and 流血的體驗者 Process and AutonomousAgent Entity 例 Entity and Blood 持有期間開始何時 Process and 部分 Entity and AutonomousAgent 持有期間結束何時 Process and 部分 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21389-21393	例 Process and 流血的體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	例 Process and Chills 體驗者 Process and AutonomousAgent 持有期間何時 Process and attribute AutonomousAgent and FeelingCold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11771-11779	例 Process and Choking 體驗者 Process and AutonomousAgent ProcessO 例 ProcessO and Coughing 子過程 ProcessO and Process 體驗者 ProcessO and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11754-11769	例 Process and Choking 體驗者 Process and AutonomousAgent Entity Object and Object 例 Entity and Object 例 Object and Trachea 例 Object and 肺部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 持有期間何時 Process and 位於 Entity and Object 位於 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6043-6054	例 Process and Coughing 體驗者 Process and AutonomousAgent Process Process 例 Process and 吸入例 Process and 呼氣子過程 Process and Process 子過程 Process and Process 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic Human and Substance 例 SubstanceUB and Substance 持有期間 TimePosition and 空間的符合 SubstanceUB and Human 模態屬性 entity 例 entity and AllergicReaction 體驗者 entity and Human 暫時重疊 TimePosition and 何時 entity 之前開始 TimePosition and 開始何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	持有期間 TimePosition and attribute entity and EmotionalState actionTendency EmotionalState and EmotionalBehavioralProcess 模態屬性 entity 例 entity and EmotionalBehavioralProcess 期間何時 entity and TimePosition 體驗者 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	持有期間 TimeInterval and attribute AutonomousAgent and AVPUPainStatus 例 Process and 痛期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent Process 例 Process and BodyMotion 體驗者 Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	持有期間 TimeInterval and attribute AutonomousAgent and Menopausal 等於 RealNumber and 減法測量 1 and 年持續時間 and 開始 TimeInterval 等於 TimeInterval and 時間間隔 TimeInterval and 開始 TimeInterval Process 例 Process and 經期體驗者 Process and AutonomousAgent
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.	Mid-level-ontology.kif 17193-17203	例 Process and 加速等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent Process 例 Process and 減速體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	例 Process and Anaphylaxis 體驗者 Process and AutonomousAgent 模態屬性 entity 例 entity and Death 體驗者 entity and AutonomousAgent 原因 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	例 Process and Asphyxiation 體驗者 Process and AutonomousAgent 持有期間何時 Process and entity 例 entity and Breathing 體驗者 entity and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	例 Process and AngryVoiceUtterance agent Process and AutonomousAgent 模態屬性例 Process and AngryVoiceUtterance agent Process and AutonomousAgent 是 AutonomousAgentNG 例 AutonomousAgentNG and 憤怒體驗者 AutonomousAgentNG and AutonomousAgent 的 causes 提議 and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16200-16212	例 Entity and 法律獎勵參照 Entity and Process 例 Process and LegalAction agent Process and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Getting 體驗者 entity and CognitiveAgent 患者 entity and entity 貨幣價值 entity and entity, Entity and CognitiveAgent
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.	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.	Merge.kif 10197-10204	例 Process and Birth 體驗者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11771-11779	例 Process and Choking 體驗者 Process and AutonomousAgent ProcessO 例 ProcessO and Coughing 子過程 ProcessO and Process 體驗者 ProcessO and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6043-6054	例 Process and Coughing 體驗者 Process and AutonomousAgent Process Process 例 Process and 吸入例 Process and 呼氣子過程 Process and Process 子過程 Process and Process 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent

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.	People.kif 456-469	例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	WMD.kif 921-929	降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
No TPTP formula. May not be expressible in strict first order.	WMD.kif 767-773	增加可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒傳遞例 ?PROCESS and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM

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

KB Term:			Term intersection

English Word: