(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12136-12136 | Calcolare è una sottoclasse di ProcessoPsicologicoIntenzionale |
(subclass Measuring Calculating) | Merge.kif 12140-12140 | Misurare è una sottoclasse di Calcolare |
(subclass Counting Calculating) | Merge.kif 12153-12153 | Contare è una sottoclasse di Calcolare |