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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PayCheck
PayCheck(pay check)
paycheck, payroll_check

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


(documentation PayCheck EnglishLanguage "A check issued to an employee in payment of salary or wages") FinancialOntology.kif 169-169
(externalImage PayCheck "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ BritishCheque.png") pictureList.kif 9544-9544
(externalImage PayCheck "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ UkraineCheque3.jpg") pictureList.kif 9546-9546
(externalImage PayCheck "http://upload.wikimedia.org/wikipedia/commons/9/ 9e/ CanadianChequeSamplePAR.png") pictureList.kif 9543-9543
(externalImage PayCheck "http://upload.wikimedia.org/wikipedia/commons/b/ b9/ CanadianChequeSample.png") pictureList.kif 8649-8649
(subclass PayCheck Check) FinancialOntology.kif 168-168 Pay check is a subclass of check

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


(termFormat ChineseLanguage PayCheck "支票") domainEnglishFormat.kif 44761-44761
(termFormat ChineseTraditionalLanguage PayCheck "支票") domainEnglishFormat.kif 44760-44760
(termFormat EnglishLanguage PayCheck "pay check") domainEnglishFormat.kif 44759-44759

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


(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))
FinancialOntology.kif 171-177


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