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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalProcess
NaturalProcess

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


(disjoint NaturalProcess IntentionalProcess) Merge.kif 9865-9865
(documentation NaturalProcess ChineseLanguage "这是一个在自然界自然自然发生的 Process。") chinese_format.kif 2929-2929
(documentation NaturalProcess EnglishLanguage "A Process that take place in nature spontanously.") Merge.kif 9860-9861
(subclass NaturalProcess Process) Merge.kif 9863-9863

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


(subclass ElectricalProcess NaturalProcess) engineering.kif 639-639
(subclass MechanicalProcess NaturalProcess) engineering.kif 635-635
(subclass Resonance NaturalProcess) engineering.kif 648-648
(termFormat ChineseLanguage NaturalProcess "自然过程") domainEnglishFormat.kif 39814-39814
(termFormat ChineseTraditionalLanguage NaturalProcess "自然過程") domainEnglishFormat.kif 39813-39813
(termFormat EnglishLanguage NaturalProcess "natural process") domainEnglishFormat.kif 39812-39812


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