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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ATMMachine

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 ATMMachine固定人工制品subclass

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 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