Sigma KEE - Water

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1189-1195	PhysicalState 是天氣過程的 precipitation 狀態 Object 例 Object and Water 患者天氣過程 and Object attribute Object and PhysicalState
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	rain 的 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity Transfer Collection, Physical, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL 例 Transfer and 下雨 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Collection and Collection objectTransferred Transfer and Collection 例 Physical and Water 會員 Physical and Collection 例 SelfConnectedObject and 容器底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and attribute SelfConnectedObject and 空容器持有期間結束 TimeInterval and 位於 Collection and SelfConnectedObject 上 entity and Collection 對於 SelfConnectedObject 從 entity 的 depth 是 TransferFALL 等於 TransferFALL and 乘法 TimeInterval and FunctionQuantity