Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ATMSlot(ATM slot)
|
| appearance as argument number 1 |
|
| (subclass ATMSlot HoleRegion) | FinancialOntology.kif 3717-3717 | ATM slot is a subclass of hole |
| (documentation ATMSlot EnglishLanguage "A narrow opening in an ATM machine where cards are inserted.") | FinancialOntology.kif 3718-3718 | ATM slot is a subclass of hole |
| (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 | ATM slot is a subclass of hole |
| (externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") | pictureList.kif 8933-8933 | ATM slot is a subclass of hole |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3720-3725 | If X is an instance of ATM slot, then there exists Y such that Y is an instance of ATM machine and X is a hole in Y |
| (=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3727-3734 | If X is an instance of ATM slot, then there exist Y, Z such that Y is an instance of putting, Z is a patient of Y, Z is an instance of bank card, and Y ends up at X |
|