Vending(vending) |
appearance as argument number 1 |
(documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") | Mid-level-ontology.kif 1944-1945 | |
(subclass Vending FinancialTransaction) | Mid-level-ontology.kif 1943-1943 | Vending is a subclass of financial transaction |
appearance as argument number 2 |
(termFormat EnglishLanguage Vending "vending") | domainEnglishFormat.kif 65689-65689 |
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 1986-1995 |
|
(=> (instance ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 1947-1952 |
|
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 1959-1972 |
|