|
|
   ATMSlot
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ATMSlot EnglishLanguage "A narrow opening in an ATM machine where cards are inserted.") | FinancialOntology.kif 3622-3622 | |
| (externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") | pictureList.kif 8938-8938 | |
| (externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG") | pictureList.kif 8358-8358 | |
| (subclass ATMSlot Hole) | FinancialOntology.kif 3621-3621 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8931-8931 | |
| (termFormat ChineseTraditionalLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8930-8930 | |
| (termFormat EnglishLanguage ATMSlot "ATM slot") | domainEnglishFormat.kif 8929-8929 |
| antecedent |
|
|
| (=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3624-3629 | |
| (=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3631-3638 |
|
|
|
