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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Calculating
  MetalHouseholdFurnitureManufacturing

Sigma KEE - Calculating
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 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


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