Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ATMSlot

Sigma KEE - ATMSlot
ATMSlot

appearance as argument number 1
-------------------------


(documentation ATMSlot EnglishLanguage "A narrow opening in an ATM machine where cards are inserted.") FinancialOntology.kif 3552-3552
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") pictureList.kif 8939-8939 externalImage ATMSlot and "http://upload.wikimedia.org/wikipedia/commons/7/79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG"
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG") pictureList.kif 8359-8359 externalImage ATMSlot and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG"
(subclass ATMSlot Hole) FinancialOntology.kif 3551-3551 ATMSlotsubclass

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ATMSlot "ATM slot") domainEnglishFormat.kif 1922-1922 termFormat EnglishLanguage, ATMSlot and "ATM slot"

antecedent
-------------------------


(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3554-3559
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3561-3568


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners