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 3671-3671
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") pictureList.kif 8935-8935
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG") pictureList.kif 8358-8358
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3670-3670

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


(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8930-8930
(termFormat ChineseTraditionalLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8929-8929
(termFormat EnglishLanguage ATMSlot "ATM slot") domainEnglishFormat.kif 8928-8928

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


(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3673-3678
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3680-3687


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