TreeView Knowledge Base Browser - Raining

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 1044-1045
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1040-1042
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 1038-1038	子類下雨 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 2797-2797	子類 Drizzling and 下雨
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1103-1103	子類大雨 and 下雨
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2859-2859	子類 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 1047-1047
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 2961-2966	例 Transfer and 下雨 Object 例 Object and Rain objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1049-1051	例天氣過程 and 下雨液體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1066	例 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 2467-2478	例 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 2861-2875	例 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 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

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