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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " thumb/ b/ b1/ ATM_750x1300.jpg/ 180px-ATM_750x1300.jpg") pictureList.kif 1039-1039 externalImage ATMMachine and " 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"


    (instance ?Slot ATMSlot)
    (exists (?ATM)
            (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