Vending(vending) |
appearance as argument number 1 |
![]() |
(documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") | Mid-level-ontology.kif 2407-2408 | |
(subclass Vending FinancialTransaction) | Mid-level-ontology.kif 2406-2406 | Vending is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Vending "vending") | domainEnglishFormat.kif 65683-65683 |
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 2449-2458 |
|
(=> (instance ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 2410-2415 |
|
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 2422-2435 |
|
![]() |
![]() |