(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12160-12160 | Calculating is a subclass of intentional psychological process |
(subclass Measuring Calculating) | Merge.kif 12164-12164 | Measuring is a subclass of calculating |
(subclass Counting Calculating) | Merge.kif 12177-12177 | Counting is a subclass of calculating |