TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ATMMachine StationaryArtifact)	FinancialOntology.kif 3641-3641	ATM machine is a subclass of stationary artifact
(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 3642-3646	ATM machine is a subclass of stationary artifact
(externalImage ATMMachine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b1/ ATM_750x1300.jpg/ 180px_ATM_750x1300.jpg")	pictureList.kif 1038-1038	ATM machine is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage ATMMachine "ATM machine")	domainEnglishFormat.kif 8902-8902
(termFormat ChineseTraditionalLanguage ATMMachine "自動提款機")	domainEnglishFormat.kif 8903-8903
(termFormat ChineseLanguage ATMMachine "自动提款机")	domainEnglishFormat.kif 8904-8904

consequent

(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))

If X is an instance of ATM slot, then there exists Y such that Y is an instance of ATM machine and X is a hole in Y