Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Calculating

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 12085-12086
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12084-12084

appearance as argument number 2

(subclass Counting Calculating) Merge.kif 12101-12101
(subclass Measuring Calculating) Merge.kif 12088-12088
(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


    (attribute ?X Accountant)
    (capability Calculating agent ?X))
Mid-level-ontology.kif 21052-21054
    (instance ?RETURN TaxReturn)
    (hasPurpose ?RETURN
        (exists (?CALCULATE ?AMOUNT ?TAX)
                (instance ?CALCULATE Calculating)
                (instrument ?CALCULATE ?RETURN)
                (result ?CALCULATE ?AMOUNT)
                (transactionAmount ?TAX ?AMOUNT)
                (instance ?TAX Tax)))))
FinancialOntology.kif 933-942

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners