|
|
   NaturalProcess
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint NaturalProcess IntentionalProcess) | Merge.kif 9865-9865 | Natural process is disjoint from intentional process |
| (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 | Natural process is a subclass of process |
| appearance as argument number 2 |
|
|
| (subclass ElectricalProcess NaturalProcess) | engineering.kif 639-639 | Electrical process is a subclass of natural process |
| (subclass MechanicalProcess NaturalProcess) | engineering.kif 635-635 | Mechanical process is a subclass of natural process |
| (subclass Resonance NaturalProcess) | engineering.kif 648-648 | Resonance is a subclass of natural process |
| (termFormat ChineseLanguage NaturalProcess "自然过程") | domainEnglishFormat.kif 39814-39814 | |
| (termFormat ChineseTraditionalLanguage NaturalProcess "自然過程") | domainEnglishFormat.kif 39813-39813 | |
| (termFormat EnglishLanguage NaturalProcess "natural process") | domainEnglishFormat.kif 39812-39812 |
|
|
|