Banker - Sigma Knowledge base Browser

appearance as argument number 1

(instance Banker SkilledOccupation)	FinancialOntology.kif 3706-3706	Banker is an instance of skilled occupation
(documentation Banker EnglishLanguage "Any SkilledOccupation which involves working in a BankFinancialOrganization.")	FinancialOntology.kif 3707-3708	Banker is an instance of skilled occupation

appearance as argument number 2

(termFormat EnglishLanguage Banker "banker")	domainEnglishFormat.kif 9820-9820
(termFormat ChineseTraditionalLanguage Banker "銀行家")	domainEnglishFormat.kif 9821-9821
(termFormat ChineseLanguage Banker "银行家")	domainEnglishFormat.kif 9822-9822

antecedent

(=>
    (and
        (instance ?H Human)
        (occupiesPosition ?H ?B ?O)
        (attribute ?B Banker))
    (instance ?O BankFinancialOrganization))

If X is an instance of human, X holds the position of Y in Z, and banker is an attribute of Y, then Z is an instance of bank