Vending(vending) |
appearance as argument number 1 |
![]() |
(documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") | Mid-level-ontology.kif 2010-2011 | |
(subclass Vending FinancialTransaction) | Mid-level-ontology.kif 2009-2009 | Vending is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Vending "vending") | domainEnglishFormat.kif 65712-65712 |
antecedent |
![]() |
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2052-2061 |
|
(=> (instance ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 2013-2018 |
|
consequent |
![]() |
(=> (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 2025-2038 |
|
![]() |
![]() |