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 10381-10381
(documentation NaturalProcess ChineseLanguage "这是一个在自然界自然自然发生的 Process。") Merge.kif 10379-10379
(documentation NaturalProcess EnglishLanguage "A Process that take place in nature spontanously.") Merge.kif 10377-10378
(subclass NaturalProcess Process) Merge.kif 10380-10380

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


(subclass ElectricalProcess NaturalProcess) engineering.kif 645-645
(subclass MechanicalProcess NaturalProcess) engineering.kif 641-641
(subclass Resonance NaturalProcess) engineering.kif 654-654
(termFormat EnglishLanguage NaturalProcess "natural process") domainEnglishFormat.kif 7070-7070


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners