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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalProcess

appearance as argument number 1

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

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 39889-39889
(termFormat ChineseTraditionalLanguage NaturalProcess "自然過程") domainEnglishFormat.kif 39888-39888
(termFormat EnglishLanguage NaturalProcess "natural process") domainEnglishFormat.kif 39887-39887

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