(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12114-12114 | Calculating ist eine teilkategorie von IntentionalPsychologicalProcess |
(subclass Measuring Calculating) | Merge.kif 12118-12118 | Measuring ist eine teilkategorie von Calculating |
(subclass Counting Calculating) | Merge.kif 12131-12131 | Counting ist eine teilkategorie von Calculating |