TreeView Knowledge Base Browser - Flooding

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Flooding

Flooding

appearance as argument number 1

(documentation Flooding EnglishLanguage "Flooding is the subclass of LiquidMotion processes in which the water level of a Waterway rises or water spreads over a flood plain along a Waterway.")	Mid-level-ontology.kif 17580-17582
(externalImage Flooding "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Navy-FloodedNewOrleans.jpg")	pictureList.kif 2679-2679
(subclass Flooding LiquidMotion)	Mid-level-ontology.kif 17579-17579	Flooding e' uma sub-classe de LiquidMotion

appearance as argument number 2

(subclass CoastalFlooding Flooding)	Weather.kif 1610-1610	CoastalFlooding e' uma sub-classe de Flooding
(subclass FlashFlooding Flooding)	Weather.kif 1624-1624	FlashFlooding e' uma sub-classe de Flooding
(termFormat ChineseLanguage Flooding "洪水")	domainEnglishFormat.kif 24242-24242
(termFormat ChineseTraditionalLanguage Flooding "洪水")	domainEnglishFormat.kif 24241-24241
(termFormat EnglishLanguage Flooding "flooding")	domainEnglishFormat.kif 24240-24240

antecedent

(=> (and (instance ?F Flooding) (eventLocated ?F ?P)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?F)) (waterDepth ?P (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 17584-17599	Processo e' uma instancia de Flooding eventLocated Processo and Objeto Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo waterDepth Objeto and Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
(=> (and (instance ?F Flooding) (instance ?L LandArea) (eventLocated ?F ?L) (instance ?T TimePoint) (before ?T (WhenFn ?F))) (modalAttribute (holdsDuring ?T (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 1594-1604	Processo e' uma instancia de Flooding Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de tempo de existencia de Processo o argumento Objeto e' uma instancia de SubmergedLandArea vale durante Ponto no tempo tem a forca modal de Unlikely

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