| (subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12114-12114 | 計算 は 意図的な心理的プロセス の subclass では %n |
| (subclass Measuring Calculating) | Merge.kif 12118-12118 | 計測 は 計算 の subclass では %n |
| (subclass Counting Calculating) | Merge.kif 12131-12131 | 計数 は 計算 の subclass では %n |
|
|