WaterWave - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WaterWave

WaterWave(水波)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17579-17583
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1017-1017
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17578-17578	子類水波 and 液體運動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1335-1335	子類 BreakingWave and 水波
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62513-62513
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62512-62512
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62511-62511

appearance as argument number 3

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

Weather.kif 1398-1398

域 waveHeight, 1 and 水波

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1515-1530	例水波 and 水波 waveHeight 水波 and LengthMeasure List WaterArea, UnitOfMeasure and RealNumber 在列表中 LengthMeasure and List 例 WaterArea and WaterArea 水波是 located 在 WaterArea 例 UnitOfMeasure and UnitOfLength significantWaveHeight WaterArea, 何時水波 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 4.0 and StandardDeviationFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17585-17590	例 Process and 水波 Object 例 Object and WaterArea Process 是 located 在 Object

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1337-1357	例 Process and BreakingWave Process Object, Entity and Transfer 例 Process and 水波子過程 Process and Process 例 Object and 水體例 Entity and 水體患者 Process and Entity 患者 Process and Object 例 Transfer and 落下 objectTransferred Transfer and Object 持有期間開始何時 Transfer and 部分 Object and Entity 持有期間結束何時 Transfer and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1551-1560	例 Physical and 高激浪持有期間何時 Physical and entity entity 例 entity and SurfZone 例 entity and 水波子過程 entity and Physical entity 是 located 在 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