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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ATMMachine
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 3475-3479
(externalImage ATMMachine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b1/ ATM_750x1300.jpg/ 180px-ATM_750x1300.jpg") pictureList.kif 1039-1039 externalImage ATMMachine and "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b1/ ATM_750x1300.jpg/ 180px-ATM_750x1300.jpg"
(subclass ATMMachine StationaryArtifact) FinancialOntology.kif 3474-3474 subclass ATMMachine and 固定アーチファクト

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


(termFormat EnglishLanguage ATMMachine "ATM machine") domainEnglishFormat.kif 1919-1919 termFormat EnglishLanguage, ATMMachine and "ATM machine"

consequent
-------------------------


(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3554-3559


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



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