Impacting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Impacting

Impacting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3056-3057
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11610-11612
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1824-1825
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11608-11608	子類 Impacting and Touching

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13987-13987	子類拍手 and Impacting
No TPTP formula. May not be expressible in strict first order.	Food.kif 961-961	子類 Crushing and Impacting
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1559-1559	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1128-1128	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1473-1473	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	french_format.kif 806-806	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 338-338	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 341-341	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2490-2490	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 758-758	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 343-343	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 377-377	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 636-636	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 827-827	子類 TouchSurfaceTap and Impacting
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 342-342	子類 TouchSurfaceTap and Impacting

antecedent

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.	Medicine.kif 1316-1328	例 Process and Impacting 患者 Process and Entity 持有期間眼前的未來 Process and attribute Entity and ImpairedBodyPartFn 腦模態屬性持有期間眼前的未來 Process and attribute Entity and Concussion and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11614-11622	例 Process and Impacting 患者 Process and Entity Process 例 Process and Impelling 患者 Process and Entity 早期何時 Process and 何時 Process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 443-456	例 Process and 躲著 agent Process and AutonomousAgent 等於 ProcessT and 何時 Process 有目的 Process and entity 短暫相遇 ProcessT and 何時 entity 暫時重疊 ProcessT and 何時 entity 例 entity and Impacting 患者 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26935-26947	例 Object and KnockLight 例 AutonomousAgent and Human attribute AutonomousAgent and 聾使用 Object and AutonomousAgent 有目的 Object and entity entity 例 entity and Impacting 患者 entity and entity 例 entity and 門知道 AutonomousAgent and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26916-26933	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14020-14027	例 Process and 迴避 agent Process and AutonomousAgent 有目的 Process and entity 例 entity and Impacting 患者 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	例 Process and Crushing Process ProcessO and Entity 例 Process and Impacting 子過程 Process and Process 例 ProcessO and Compressing 患者 Process and Entity 患者 ProcessO and Entity 例 Entity and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 1365-1375	例 Process and 鼓聲 AutonomousAgent ProcessRUM and Process agent Process and AutonomousAgent 儀器 Process and ProcessRUM 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and ProcessRUM 例 Process and Impacting 例 ProcessRUM and 鼓
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3693-3717	例 Physical and AutoAirbag 有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and 汽車部分 Physical and entity 例 entity and Human 包含 entity and entity 例 entity and Impacting 患者 entity and entity 例 entity and Inflating 患者 entity and Physical 原因 entity and entity entity hinders 卡帕 entity and 例 entity and Injuring 體驗者 entity and entity entity 例 entity and Impacting 目的地 entity and entity 體驗者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3736-3765	例 Physical and SeatBelt 有目的 Physical and entity entity, entity and entity 例 entity and 車輛部分 Physical and entity 例 entity and Human 包含 entity and entity 例 entity and Process 防止 entity and 卡帕 entity and 例 entity and 易位患者 entity and entity entity 例 entity and 減速例 entity and Impacting 體驗者 entity and entity 原因 entity and entity 模態屬性 entity entity 例 entity and Injuring 例 entity and Impacting 原因 entity and entity 患者 entity and entity 子過程 entity and entity and 可能性

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

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