TreeView Knowledge Base Browser - Snowstorm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Snowstorm

Snowstorm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2917-2918
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2915-2916
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2919-2919	Snowstorm e' uma sub-classe de Storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2921-2921
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2920-2920

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2923-2938

Fisico e' uma instancia de Snowstorm
Entidade Entidade and Entidade Entidade e' uma instancia de Snowing Entidade e' uma instancia de Area Geografica eventLocated Entidade and Entidade Entidade e' um sub-processo de Fisico snowfallIntensity Entidade, tempo de existencia de Entidade and PerFn Entidade Centimeter(s) and 1 HourDuration(s) Entidade e' maior que 5.0 vale durante tempo de existencia de Fisico

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