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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11891-11892
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 11890-11890

appearance as argument number 2
-------------------------


(subclass Counting Calculating) Merge.kif 11907-11907
(subclass Measuring Calculating) Merge.kif 11894-11894
(termFormat ChineseLanguage Calculating "计算") chinese_format.kif 1149-1149
(termFormat EnglishLanguage Calculating "calculating") english_format.kif 1515-1515

consequent
-------------------------


(=>
    (attribute ?X Accountant)
    (capability Calculating agent ?X))
Mid-level-ontology.kif 20430-20432
(=>
    (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 932-941


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



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