ATMSlot(ATM slot) |
appearance as argument number 1 |
![]() |
(documentation ATMSlot EnglishLanguage "A narrow opening in an ATM machine where cards are inserted.") | FinancialOntology.kif 3678-3678 | |
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") | pictureList.kif 8933-8933 | |
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG") | pictureList.kif 8356-8356 | |
(subclass ATMSlot HoleRegion) | FinancialOntology.kif 3677-3677 | ATM slot is a subclass of hole |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8923-8923 | |
(termFormat ChineseTraditionalLanguage ATMSlot "ATM插槽") | domainEnglishFormat.kif 8922-8922 | |
(termFormat EnglishLanguage ATMSlot "ATM slot") | domainEnglishFormat.kif 8921-8921 |
antecedent |
![]() |
(=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3680-3685 |
|
(=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3687-3694 |
|
![]() |
![]() |