(subclass Counting Calculating) 
Merge.kif 1213112131 
Counting is a subclass of calculating 
(subclass Measuring Calculating) 
Merge.kif 1211812118 
Measuring is a subclass of calculating 
(termFormat ChineseLanguage Calculating "计算") 
chinese_format.kif 11491149 

(termFormat EnglishLanguage Calculating "calculating") 
english_format.kif 15151515 

(termFormat FrenchLanguage Calculating "calculer") 
french_format.kif 827827 

(termFormat Hindi Calculating "pairganana") 
termshindi.txt 359359 

(termFormat ItalianLanguage Calculating "Calcolare") 
termsit.txt 362362 

(termFormat JapaneseLanguage Calculating "計算") 
japanese_format.kif 25112511 

(termFormat PortugueseLanguage Calculating "Calcular") 
portuguese_format.kif 779779 

(termFormat cb Calculating "pagkuwenta") 
termscb.txt 364364 

(termFormat cz Calculating "calculating") 
termscz.txt 398398 

(termFormat ro Calculating "calculare") 
relationsro.kif 848848 

(termFormat tg Calculating "tayahin") 
termstg.txt 363363 
