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 3258-3259
(domain compensationPackage 1 Human) FinancialOntology.kif 3255-3255
(domain compensationPackage 2 CurrencyMeasure) FinancialOntology.kif 3256-3256
(domain compensationPackage 3 TimePosition) FinancialOntology.kif 3257-3257
(instance compensationPackage TernaryPredicate) FinancialOntology.kif 3254-3254

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


(format EnglishLanguage compensationPackage "%1 %n{doesn't} compensation package %2 for %3") domainEnglishFormat.kif 135-135
(termFormat EnglishLanguage compensationPackage "compensation package") domainEnglishFormat.kif 3115-3115

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners