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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AvalancheProcess

 Sigma KEE - AvalancheProcess
AvalancheProcess(avalanche process)
avalanche, lahar, slide

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2294-2296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8364-8364
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8950-8950
No TPTP formula. May not be expressible in strict first order. Geography.kif 2292-2292 Avalanche process is a subclass of impelling

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9336-9336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9335-9335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9334-9334


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