(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12114-12114 | 子類 Calculating and IntentionalPsychologicalProcess |
(subclass Measuring Calculating) | Merge.kif 12118-12118 | 子類 Measuring and Calculating |
(subclass Counting Calculating) | Merge.kif 12131-12131 | 子類 Counting and Calculating |