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

Formal Language: 



KB Term:  Term intersection
English Word: 

  compensationPackage

Sigma KEE - compensationPackage
compensationPackage

appearance as argument number 1
-------------------------


(documentation compensationPackage EnglishLanguage "The total monetary value an employee receives during a certain time period.") FinancialOntology.kif 3370-3371
(domain compensationPackage 1 Human) FinancialOntology.kif 3367-3367 compensationPackage の数値 1 引数は 人[人間]instance では %n
(domain compensationPackage 2 CurrencyMeasure) FinancialOntology.kif 3368-3368 compensationPackage の数値 2 引数は 通貨測定instance では %n
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3369-3369 compensationPackage の数値 3 引数は 時間位置instance では %n
(instance compensationPackage TernaryPredicate) FinancialOntology.kif 3366-3366 compensationPackage3進述語instance では %n

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


(format ChineseLanguage compensationPackage "%1 对于 %3 %n{不是} compensation 包裹 %2 ") domainEnglishFormat.kif 504-504
(format ChineseTraditionalLanguage compensationPackage "%1 對於 %3 %n{不是} compensation 包裹 %2 ") domainEnglishFormat.kif 503-503
(format EnglishLanguage compensationPackage "%1 %n{doesn't} compensation package %2 for %3") domainEnglishFormat.kif 502-502
(termFormat ChineseLanguage compensationPackage "补偿方案") domainEnglishFormat.kif 16164-16164
(termFormat ChineseTraditionalLanguage compensationPackage "補償方案") domainEnglishFormat.kif 16163-16163
(termFormat EnglishLanguage compensationPackage "compensation package") domainEnglishFormat.kif 16162-16162

antecedent
-------------------------


(=>
    (compensationPackage ?Agent ?Money ?Period)
    (exists (?Activity)
        (and
            (instance ?Activity Working)
            (agent ?Activity ?Agent)
            (equal ?Period
                (WhenFn ?Activity))
            (incomeEarned ?Agent ?Money ?Activity))))
FinancialOntology.kif 3373-3380


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