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 3545-3549
(externalImage ATMMachine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b1/ ATM_750x1300.jpg/ 180px-ATM_750x1300.jpg") pictureList.kif 1039-1039
(subclass ATMMachine StationaryArtifact) FinancialOntology.kif 3544-3544 自动提款机固定人工制品subclass

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


(termFormat ChineseLanguage ATMMachine "自动提款机") domainEnglishFormat.kif 8913-8913
(termFormat ChineseTraditionalLanguage ATMMachine "自動提款機") domainEnglishFormat.kif 8912-8912
(termFormat EnglishLanguage ATMMachine "ATM machine") domainEnglishFormat.kif 8911-8911

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


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


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 3.0 is open source software produced by Articulate Software and its partners