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 1032-1033
No TPTP formula. May not be expressible in strict first order. Weather.kif 1028-1030
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 1026-1026 Raining e' uma sub-classe de Precipitation

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2493-2493 AcidRainfall e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 2784-2784 Drizzling e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 1091-1091 HeavyRaining e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order. Weather.kif 2846-2846 RainShowering e' uma sub-classe de Raining
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48694-48694
No TPTP formula. May not be expressible in strict first order. Weather.kif 1035-1035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48693-48693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48692-48692

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2948-2953
No TPTP formula. May not be expressible in strict first order. Weather.kif 1037-1039
No TPTP formula. May not be expressible in strict first order. Weather.kif 1041-1054

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2454-2465
No TPTP formula. May not be expressible in strict first order. Weather.kif 2848-2862
No TPTP formula. May not be expressible in strict first order. Weather.kif 2813-2838


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