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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ATMSlot
ATMSlot(ATM slot)

appearance as argument number 1
-------------------------


(documentation ATMSlot EnglishLanguage "A narrow opening in an ATM machine where cards are inserted.") FinancialOntology.kif 3559-3559
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/7/ 79/ Perto_-_Banco_Guayaquil_2_-_Low_Quality_ATM.JPG") pictureList.kif 8939-8939
(externalImage ATMSlot "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ Diebold_-_Opteva_562_-_Banco_Internacional_-_OutSide_-_Close_up_-_Coin_Dispernser.JPG") pictureList.kif 8359-8359
(subclass ATMSlot Hole) FinancialOntology.kif 3558-3558 ATM slot is a subclass of hole

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


(termFormat ChineseLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8935-8935
(termFormat ChineseTraditionalLanguage ATMSlot "ATM插槽") domainEnglishFormat.kif 8934-8934
(termFormat EnglishLanguage ATMSlot "ATM slot") domainEnglishFormat.kif 8933-8933

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


(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3561-3566
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3568-3575


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