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 10395-10395
(documentation NaturalProcess ChineseLanguage "这是一个在自然界自然自然发生的 Process。") chinese_format.kif 2929-2929
(documentation NaturalProcess EnglishLanguage "A Process that take place in nature spontanously.") Merge.kif 10390-10391
(subclass NaturalProcess Process) Merge.kif 10393-10393

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

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