TreeView Knowledge Base Browser - LiquidMotion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LiquidMotion

LiquidMotion(液體運動)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3021-3022
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11222-11224
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1786-1787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	子類液體運動 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21378-21378	子類流血的 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1512-1512	子類 BleedingAir and 液體運動
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 484-484	子類 BloodCirculation and 液體運動
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1735-1735	子類 Cavitating and 液體運動
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	子類 CoffeeMaking and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17524-17524	子類滴水 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17580-17580	子類洪水 and 液體運動
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1480-1480	子類 Perspiring and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17533-17533	子類澆注 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17602-17602	子類噴 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17528-17528	子類攪拌 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11232-11232	子類水運動 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17551-17551	子類水波 and 液體運動
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1600-1600	子類泣 and 液體運動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34655-34655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34654-34654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34653-34653

appearance as argument number 3

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

Geography.kif 4925-4925

域流動區域, 1 and 液體運動

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	例 Object and Faucet 例 Process and 液體運動患者 Process and Entity 位於 Process and Object 持有期間眼前的未來何時 Process and entity 例 entity and 管包含 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11226-11230	例 Process and 液體運動患者 Process and Object attribute Object and 液體

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11385	例 Physical and HeartAttack 例 Object and 心位於 Physical and Object Object 例 Object and Muscle 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	例 Physical and Stroke 例 Object and 腦位於 Physical and Object Object 例 Object and 神經細胞部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	suppliesBlood 動脈 and BodyPart 例 Physical and 動脈例 Entity and BodyPart 有目的 Physical and entity entity 例 entity and 液體運動 objectTransferred entity and entity 例 entity and Blood 目的地 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	例 Process and CoffeeMaking Process Entity and Entity 子過程 Process and Process 例 Process and 液體運動患者 Process and Entity 例 Entity and 飲用水目的地 Process and Entity 例 Entity and CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	例 TimePosition and CoffeeMaking 持有期間 TimePosition and entity entity and entity 例 entity and 液體運動例 entity and Soaking 例 entity and Removing 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	例 TimePosition and EspressoMaking 持有期間 TimePosition and entity entity, entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Heating 患者 entity and entity 測量 entity and 測量 entity and 升 approximateValue entity and 0.03 持有期間結束何時 entity and 測量 entity and 測量 entity and 攝氏度 approximateValue entity and 90 例 entity and 液體運動患者 entity and entity 持有期間 entity and 測量 entity and 測量 entity and 千帕斯卡 approximateValue entity and 900 目的地 entity and entity 例 entity and Collection 測量 entity and 測量 entity and 公克 approximateValue entity and 7.5 會員 entity and entity 例 entity and CoffeeGrind attribute entity and FineGrind 位於 entity and entity 例 entity and 過濾例 entity and Removing 儀器 entity and entity 患者 entity and entity 一時之間結束何時 entity, 結束何時 entity and 結束何時 entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10742-10751	例 Physical and 心有目的 Physical and entity PhysicalB and entity 例 PhysicalB and HeartBeat 例 entity and 液體運動例 entity and Blood 移動 entity and entity 原因 PhysicalB and entity

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

Show without tree

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