ATMMachine |
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 | ATMMachine ist eine teilkategorie von StationaryArtifact |
appearance as argument number 2 |
(termFormat ChineseLanguage ATMMachine "自动提款机") | domainEnglishFormat.kif 8904-8904 | |
(termFormat ChineseTraditionalLanguage ATMMachine "自動提款機") | domainEnglishFormat.kif 8903-8903 | |
(termFormat EnglishLanguage ATMMachine "ATM machine") | domainEnglishFormat.kif 8902-8902 |
consequent |
(=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3662-3667 |
|