ATMMachine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ATMMachine EnglishLanguage "(Automatic Teller Machine) A banking terminal that accepts deposits and dispenses cash. ATMs are activated by inserting a cash or credit card that contains the user's account number and PIN on a magnetic stripe. The ATM calls up the bank's computers to verify the balance, dispenses the cash and then transmits a completed transaction notice.")	FinancialOntology.kif 3584-3588
(externalImage ATMMachine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b1/ ATM_750x1300.jpg/ 180px-ATM_750x1300.jpg")	pictureList.kif 1038-1038
(subclass ATMMachine StationaryArtifact)	FinancialOntology.kif 3583-3583	ATM machine is a subclass of stationary artifact

appearance as argument number 2

(termFormat ChineseLanguage ATMMachine "自动提款机")	domainEnglishFormat.kif 8912-8912
(termFormat ChineseTraditionalLanguage ATMMachine "自動提款機")	domainEnglishFormat.kif 8911-8911
(termFormat EnglishLanguage ATMMachine "ATM machine")	domainEnglishFormat.kif 8910-8910

consequent

(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))

FinancialOntology.kif 3662-3667