LiquidMotion - Sigma Knowledge base Browser

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 11285-11287
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 11283-11283	子類液體運動 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22467-22467	子類流血的 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 472-472	子類 BloodCirculation and 液體運動
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1742-1742	子類 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 18613-18613	子類滴水 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18669-18669	子類洪水 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 18622-18622	子類澆注 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18691-18691	子類噴 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18617-18617	子類攪拌 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11295-11295	子類水運動 and 液體運動
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18640-18640	子類水波 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 34683-34683	子類泣 and 液體運動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34682-34682	子類泣 and 液體運動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34681-34681	子類泣 and 液體運動

appearance as argument number 3

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

Geography.kif 4994-4994

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

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1252-1265	例 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 11289-11293	例 Process and 液體運動患者 Process and Object attribute Object and 液體

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12264-12281	例 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 12811-12828	例 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 1946-1957	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 11638-11647	例 Physical and 心有目的 Physical and entity PhysicalB and entity 例 PhysicalB and HeartBeat 例 entity and 液體運動例 entity and Blood 移動 entity and entity 原因 PhysicalB and entity

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