VendingMachine - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VendingMachine Machine)	Mid-level-ontology.kif 2529-2529	Vending machine is a subclass of machine
(documentation VendingMachine EnglishLanguage "A Machine that is the instrument of a FinancialTransaction that accepts payment and releases some object, often food or drink, to the customer.")	Mid-level-ontology.kif 2530-2532	Vending machine is a subclass of machine

appearance as argument number 2

(termFormat EnglishLanguage VendingMachine "vending machine")	domainEnglishFormat.kif 61461-61461
(termFormat ChineseTraditionalLanguage VendingMachine "售貨機")	domainEnglishFormat.kif 61462-61462
(termFormat ChineseLanguage VendingMachine "售货机")	domainEnglishFormat.kif 61463-61463

antecedent

(=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H)))))	Mid-level-ontology.kif 2534-2547	If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y
(=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product)))))	Mid-level-ontology.kif 2549-2559	If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of financial transaction (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of currency (6) W is a patient of Y (7) W is an instance of product

consequent

(=>
    (instance ?V Vending)
    (exists (?VM)
        (and
            (instance ?VM VendingMachine)
            (origin ?V ?VM))))

If X is an instance of vending, then there exists Y such that Y is an instance of vending machine and X originates at Y