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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17608-17610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2679-2679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17607-17607 Flooding est une sous-classe de LiquidMotion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1597 CoastalFlooding est une sous-classe de Flooding
No TPTP formula. May not be expressible in strict first order. Weather.kif 1611-1611 FlashFlooding est une sous-classe de Flooding
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24242-24242
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24241-24241
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24240-24240

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17612-17627
No TPTP formula. May not be expressible in strict first order. Weather.kif 1581-1591


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