Liquid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3928-3929
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17579-17580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17577-17577	例液體 and PhysicalState
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17578-17578	子屬性液體 and 流體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	相反的屬性固體, 液體, 加油站 and 等離子體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31436-31436	roomTempState Absolut and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31554-31554	roomTempState 醇 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31417-31417	roomTempState 酒精飲料 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31555-31555	roomTempState Aldosterone and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31556-31556	roomTempState 生物鹼 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31424-31424	roomTempState Amaretto and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31558-31558	roomTempState 氨基酸 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31421-31421	roomTempState Aperitif and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31561-31561	roomTempState 阿托品 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31432-31432	roomTempState Bacardi and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31562-31562	roomTempState 桿菌肽 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31425-31425	roomTempState Baileys and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31441-31441	roomTempState 啤酒 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31413-31413	roomTempState Beverage and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31549-31549	roomTempState 血液劑 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31450-31450	roomTempState 硼 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31440-31440	roomTempState 白蘭地 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31481-31481	roomTempState 溴 and 液體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3170-3170	roomTempState Buttermilk and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31422-31422	roomTempState Campari and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31426-31426	roomTempState Chambord and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31419-31419	roomTempState Champagne and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31571-31571	roomTempState 化學酸 and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31572-31572	roomTempState 化學基地 and 液體

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Merge.kif 17565-17565

固體是所有的 PhysicalState 的 attributes

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體空間的符合 entity and SelfConnectedObjectP 持有期間何時 Physical and entity attribute entity and 液體空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	例 Object and 膠體部分 Object and Object attribute Object and 固體 attribute Object and 液體例 Object and 空氣部分 Object and Object 例 Object and Aerosal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17616-17623	例 Object and Substance attribute Object and 加油站 attribute Object and 液體 attribute Object and 等離子體 attribute Object and 流體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31674-31685	roomTempState Substance and PhysicalState 例 Physical and Substance 持有期間 TimePosition and roomTempState Substance and 液體測量 Physical and 測量 101 and 千帕斯卡持有期間 TimePosition and 測量 Physical and 測量 68 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13965-13967	attribute Object and 液體能力 Boiling, 患者 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10298-10302	例 Process and Drinking 資源 Process and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	例 Process and Boiling 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	例 SelfConnectedObject and 瓶子包含 SelfConnectedObject and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	例 Physical and Cavitating 例 SelfConnectedObject and 泵 attribute SelfConnectedObject and 設備上 attribute Object and 液體包含 SelfConnectedObject and Object SelfConnectedObjectP entity 部分 SelfConnectedObjectP and SelfConnectedObject 有目的 SelfConnectedObjectP and attribute entity and 液體空間的符合 entity and SelfConnectedObjectP 持有期間何時 Physical and entity attribute entity and 液體空間的符合 SelfConnectedObjectP and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	例 Process and Condensing 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 加油站持有期間結束何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	例 Process and Deposition 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 加油站持有期間結束何時 Process and attribute Object and 固體持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	例 Process and 蒸發測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	例 Process and Freezing 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	例 SelfConnectedObject and LiquidDrop 表面 SelfConnectedObject and SelfConnectedObject 模態屬性 SelfConnectedObjectS entity 例 entity and Substance attribute entity and 液體等於 SelfConnectedObject and entity 表面 SelfConnectedObjectS and entity 空間的符合 SelfConnectedObject and SelfConnectedObjectS and 較不可能
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2172-2180	例 Object and LiquidEngineCoolingSystem 例 Transfer and Cooling 儀器 Transfer and Object Object attribute Object and 液體 objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	例 Process and Melting 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11248-11252	例 Process and 液體運動患者 Process and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	例 Process and Sublimation 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 加油站持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點例 UnitOfMeasure and UnitOfTemperature 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 液體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Melting 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 boiling 點測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 Object and 測量 RealNumber and 凱文度比較多 RealNumber and RealNumber 少於 RealNumber and RealNumber attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18017-18023	attribute Object and 乾 Object 部分 Object and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18035-18043	attribute Object and 濕 Object 部分 Object and Object Object 部分 Object and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1899-1906	例 Process and 曝氣 Entity Object 患者 Process and Entity 例 Entity and 空氣患者 Process and Object attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5002-5007	例 SelfConnectedObject and 氣泡 SelfConnectedObject 表面 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 液體
No TPTP formula. May not be expressible in strict first order.	Food.kif 395-397	例 Object and Beverage attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	例 Physical and Clotting Entity 例 Entity and Blood 持有期間不久的過去何時 Physical and attribute Entity and 液體持有期間眼前的未來何時 Physical and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	例 Physical and 濾盆有目的 Physical and entity entity, entity and entity 例 entity and Mixture 例 entity and Substance 部分 entity and entity attribute entity and 液體例 entity and Removing 患者 entity and entity 例 entity and Substance 部分 entity and entity attribute entity and 固體結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19617-19623	例 Process and 稀釋 Object 患者 Process and Object 例 Object and Solution attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	例 Physical and Diuretic 有目的 Physical and entity entity, entity and entityOC 例 entity and Human 例 entity and Removing 例 entity and 液體體驗者 entity and entity 移動 entity and entity 起源 entity and entity 包含 entity and entityOC 目的地 entity and entityOC

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: