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 10518-10518 NaturalProcess 和 % 2 是 disjoint
(documentation NaturalProcess ChineseLanguage "这是一个在自然界自然自然发生的 Process。") Merge.kif 10516-10516
(documentation NaturalProcess EnglishLanguage "A Process that take place in nature spontanously.") Merge.kif 10514-10515
(subclass NaturalProcess Process) Merge.kif 10517-10517 NaturalProcess过程subclass

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


(subclass ElectricalProcess NaturalProcess) engineering.kif 635-635 ElectricalProcessNaturalProcesssubclass
(subclass MechanicalProcess NaturalProcess) engineering.kif 631-631 MechanicalProcessNaturalProcesssubclass
(subclass Resonance NaturalProcess) engineering.kif 644-644 ResonanceNaturalProcesssubclass
(termFormat EnglishLanguage NaturalProcess "natural process") domainEnglishFormat.kif 7069-7069 termFormat EnglishLanguage, NaturalProcess and "natural process"


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