(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12114-12114 | Calculating is a subclass of intentional psychological process |
(subclass Measuring Calculating) | Merge.kif 12118-12118 | Measuring is a subclass of calculating |
(subclass Counting Calculating) | Merge.kif 12131-12131 | Counting is a subclass of calculating |