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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3387-3388
(domain compensationPackage 1 Human) FinancialOntology.kif 3384-3384
(domain compensationPackage 2 CurrencyMeasure) FinancialOntology.kif 3385-3385
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3386-3386
(instance compensationPackage TernaryPredicate) FinancialOntology.kif 3383-3383

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 16173-16173
(termFormat ChineseTraditionalLanguage compensationPackage "補償方案") domainEnglishFormat.kif 16172-16172
(termFormat EnglishLanguage compensationPackage "compensation package") domainEnglishFormat.kif 16171-16171

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


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


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