PayCheck - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage PayCheck "pay check")	domainEnglishFormat.kif 44861-44861
(termFormat ChineseTraditionalLanguage PayCheck "支票")	domainEnglishFormat.kif 44862-44862
(termFormat ChineseLanguage PayCheck "支票")	domainEnglishFormat.kif 44863-44863

antecedent

(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))

FinancialOntology.kif 173-179

If X is an instance of pay check, Y is an issued by of X, Z is an instance of giving, and Z ends up at W, then W employs Y

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners