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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AvalancheProcess

Sigma KEE - AvalancheProcess
AvalancheProcess(雪崩過程)

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 子類 雪崩過程 and 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