| NaturalProcess | |
| appearance as argument number 1 |
|
|
| (disjoint NaturalProcess IntentionalProcess) | Merge.kif 10644-10644 | NaturalProcess est disjoint de processus intentionnel |
| (documentation NaturalProcess ChineseLanguage "这是一个在自然界自然自然发生的 Process。") | chinese_format.kif 2929-2929 | NaturalProcess est disjoint de processus intentionnel |
| (documentation NaturalProcess EnglishLanguage "A Process that take place in nature spontanously.") | Merge.kif 10639-10640 | NaturalProcess est disjoint de processus intentionnel |
| (documentation NaturalProcess JapaneseLanguage "自然の中で自発的に起こる Process。") | japanese_format.kif 1680-1680 | NaturalProcess est disjoint de processus intentionnel |
| (subclass NaturalProcess Process) | Merge.kif 10642-10642 | NaturalProcess est une sous-classe de processus |
| appearance as argument number 2 |
|
|
|
|
|