Calculating MetalHouseholdFurnitureManufacturing
|
|
appearance as argument number 1 |
(documentation Calculating ChineseLanguage "这是一种 IntentionalPsychologicalProcesses,它 涉及考虑和/ 或操纵 Quantity 的某些实例。") | chinese_format.kif 3131-3132 | |
(documentation Calculating EnglishLanguage "IntentionalPsychologicalProcesses which involve the consideration and/ or manipulation of instances of Quantity.") | Merge.kif 12161-12162 | |
(subclass Calculating IntentionalPsychologicalProcess) | Merge.kif 12160-12160 |
appearance as argument number 2 |
(subclass Counting Calculating) | Merge.kif 12177-12177 | |
(subclass Measuring Calculating) | Merge.kif 12164-12164 | |
(termFormat ChineseLanguage Calculating "计算") | chinese_format.kif 1149-1149 | |
(termFormat EnglishLanguage Calculating "calculating") | english_format.kif 1515-1515 | |
(termFormat FrenchLanguage Calculating "calculer") | french_format.kif 827-827 | |
(termFormat Hindi Calculating "pairganana") | terms-hindi.txt 359-359 | |
(termFormat ItalianLanguage Calculating "Calcolare") | terms-it.txt 362-362 | |
(termFormat JapaneseLanguage Calculating "計算") | japanese_format.kif 2511-2511 | |
(termFormat PortugueseLanguage Calculating "Calcular") | portuguese_format.kif 779-779 | |
(termFormat cb Calculating "pagkuwenta") | terms-cb.txt 364-364 | |
(termFormat cz Calculating "calculating") | terms-cz.txt 398-398 | |
(termFormat ro Calculating "calculare") | relations-ro.kif 848-848 | |
(termFormat tg Calculating "tayahin") | terms-tg.txt 363-363 |
consequent |
(=> (attribute ?X Accountant) (capability Calculating agent ?X)) |
Mid-level-ontology.kif 21133-21135 | |
(=> (instance ?RETURN TaxReturn) (hasPurpose ?RETURN (exists (?CALCULATE ?AMOUNT ?TAX) (and (instance ?CALCULATE Calculating) (instrument ?CALCULATE ?RETURN) (result ?CALCULATE ?AMOUNT) (transactionAmount ?TAX ?AMOUNT) (instance ?TAX Tax))))) |
FinancialOntology.kif 933-942 |