Raining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Raining

Raining(下雨)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1048-1049
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1044-1046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2326-2326
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1946-1946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1042-1042	子類下雨 and 沉澱

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2493-2493	子類酸雨 and 下雨
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2801-2801	子類 Drizzling and 下雨
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1107-1107	子類大雨 and 下雨
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2863-2863	子類 RainShowering and 下雨
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48692-48692
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1051-1051
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48691-48691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48690-48690

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2965-2970	例 Transfer and 下雨 Object 例 Object and Rain objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1055	例天氣過程 and 下雨液體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是測量 0.1 and 毫米 and Class 的 maximum 預期半徑是測量 9.0 and 毫米

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2471-2482	例 TimeInterval and 乾旱 TimeInterval 是 located 在 Object TimeInterval Object 例 TimeInterval and 下雨例 Object and Region TimeInterval 是 located 在 Object 在空間上重疊 Object and Object 暫時重疊 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2865-2879	例 Physical and RainShowering 持有期間何時 Physical and entity entity and entity 例 entity and 下雨例 entity and 下雨例 entity and Region 子過程 entity and Physical 子過程 entity and Physical entity 是 located 在 entity entity 是 located 在 entity 暫時重疊何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2830-2855	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

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