TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2065-2067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3783-3785
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 711-713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3778-3778	域原因, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3779-3779	域原因, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3777-3777	例原因 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3776-3776	例原因 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3780-3780	相關的內部概念原因 and 導致子類

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	english_format.kif 71-71
No TPTP formula. May not be expressible in strict first order.	french_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 42-42
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1884-1884
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 12-12
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 84-84
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 100-100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13500-13500
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13499-13499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13498-13498
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 20-20
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 101-101

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	例 Process and 退出例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process 金融賬戶的 liqudity 是高流動性
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3331-3341	Human 是對於 %3 賺的 income 測量 RealNumber and UnitOfMeasure 是在收費的 amount charged 原因 OrganizationalProcess and 收費等於 RealNumber and 減法 RealNumber and RealNumber 從 OrganizationalProcess 由 Human 引申的 after tax income 是測量 RealNumber and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2445	例 Process and 由 AutonomousAgent 中止的軍事行動任務原因 AutonomousAgentCTION and Process agent AutonomousAgentCTION and entity_A agent 軍事行動 and entity_A enemy entity_A and entity_A
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	例 Process and 交易授權例 Process and FinancialTransaction 例 Object and 銀行卡儀器 Process and Object 原因 Process and Process 例 Object and 有效卡
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.	Hotel.kif 2196-2203	例 Process and CheckInService 原因 Process and Process 例 Physical and CheckOutService 飾面何時 Physical and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4927-4942	例 Entity and Ratchet 例 Entity and 附著裝置例 EntityO1 and 旋轉 attribute EntityO1 and Attribute 例 EntityO2 and 旋轉 attribute EntityO2 and Attribute 例 Attribute and RotationalAttribute 例 Attribute and RotationalAttribute 等於 EntityO1 and EntityO2 原因 EntityO1 and EntityO2 患者 EntityO1 and Ratchet 患者 EntityO2 and Entity 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	例 Entity and 軸例 Entity and 軸等於 Entity and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3795-3797	原因 Process and Process 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3787-3789	原因 Process and Process Process 是 Process 的 related 事件

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30296-30310	方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 entity 原因 Process and entity CognitiveAgent suffers 從 entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	採用 AutonomousAgent and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW agent Process and CognitiveAgent 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 CognitiveAgentROC 原因 Process and CognitiveAgentROC CognitiveAgent suffers 從 CognitiveAgentROC and 容易
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	ennervates Nerve and Muscle 例 Object and Nerve 例 Object and Muscle 部分 Object and Object 部分 Object and Object attribute Object and Healthy 例 Object and Human 有目的 Object and ObjectF entity 例 ObjectF and NerveFiring 儀器 ObjectF and Object 例 Muscle and MuscleContraction 儀器 ObjectV and Object 原因 ObjectF and Muscle
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.	Medicine.kif 6447-6459	持有期間 TimeInterval and attribute AutonomousAgent and AVPUVerbalStatus 例 Process and 說話目的地 Process and AutonomousAgent 期間何時 Process and TimeInterval Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process 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 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.	Cars.kif 871-885	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	例金融賬戶 and 傳統儲蓄賬戶例 Process and 退出起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	例 Entity and 鐘例 Process and Impacting 目的地 Process and Entity Process 例 Process and 音調原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 980-992	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process Process 例 Process and Breaking 原因 Process and Process 子過程 Process and Process 例 Process and ShapeChange 患者 Process and Entity 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	例金融賬戶 and 存款證 Day 是金融賬戶的 maturity 日期例 Process and 退出起源 Process and 金融賬戶的 currency 日期 Process and Day 之前結束 Day and 開始 Day Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2000-2008	例 Process and DisgustedVoiceUtterance agent Process and AutonomousAgent Process 例 Process and Disgust 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 119-127	例 Process and EmotionalBehavioralProcess agent Process and AutonomousAgent AutonomousAgentPP 例 AutonomousAgentPP and AppraisalProcess agent AutonomousAgentPP and AutonomousAgent 原因 AutonomousAgentPP and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 129-137	例 Process and EmotionalBehavioralProcess agent Process and AutonomousAgent Process 例 Process and 表情 agent Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2516-2530	例 Process and 疏散起源 Process and GeographicArea agent Process and CognitiveAgent Process 例 Process and Process GeographicArea 是哪裡 Process and 開始何時 Process 的 geographic 次要地區原因 Process and Process 相信 CognitiveAgent and attribute Process and 危險
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	例 Process and Process 例 Human and AutonomousAgent 例試驗 and 試驗 Human 是個 treated used 在試驗 Process 在試驗的 process 體驗者 Process and Human 體驗者 Process and Human 試驗 causes Process 試驗ERIMENTER 例試驗ERIMENTER and AutonomousAgent 試驗ERIMENTER 是在試驗的 experimenter 相信試驗ERIMENTER and 模態屬性原因 Process and Process and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	例 Object and FanBelt 例 Object and EngineFan 例 Object and 汽車部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object 有目的 Object and Process 例 Process and 旋轉原因 Process and Process 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2065-2073	例 Process and FearfulVoiceUtterance agent Process and AutonomousAgent Process 例 Process and Fear 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6429-6439	例 Process and Hallucination 體驗者 Process and AutonomousAgent AutonomousAgentER AutonomousAgentROP 例 AutonomousAgentER and Perception 體驗者 AutonomousAgentER and AutonomousAgent 原因 Process and AutonomousAgentER 包含信息 AutonomousAgentER and AutonomousAgentROP 真相 AutonomousAgentROP 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: