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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Monsoon
Monsoon(monsoon)
monsoon

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 7351-7351
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7352-7352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7353-7353
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6710-6710
No TPTP formula. May not be expressible in strict first order. Weather.kif 510-510 Monsoon is a subclass of weather season

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38469-38469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38468-38468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38467-38467


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