(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12136-12136 | Calculating is a subclass of intentional psychological process |
(subclass Measuring Calculating) | Merge.kif 12140-12140 | Measuring is a subclass of calculating |
(subclass Counting Calculating) | Merge.kif 12153-12153 | Counting is a subclass of calculating |