Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Raining
Raining(raining)
cloudburst, deluge, downpour, drizzle, mizzle, pelter, rain, rain_down, rain_shower, raindrop, rainfall, rainstorm, shower, soaker, thundershower, torrent, virga, waterspout

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1049-1050
No TPTP formula. May not be expressible in strict first order. Weather.kif 1045-1047
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2327-2327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1947-1947
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. Weather.kif 1043-1043 Raining is a subclass of precipitation

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2455-2455 Acid rainfall is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 2794-2794 Drizzling is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 1107-1107 Heavy raining is a subclass of raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 2856-2856 Rain showering is a subclass of raining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48674-48674
No TPTP formula. May not be expressible in strict first order. Weather.kif 1052-1052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48673-48673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48672-48672

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2958-2963
No TPTP formula. May not be expressible in strict first order. Weather.kif 1054-1056
No TPTP formula. May not be expressible in strict first order. Weather.kif 1058-1070

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2464-2475
No TPTP formula. May not be expressible in strict first order. Weather.kif 2858-2872
No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2848


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