Vending
|
|
appearance as argument number 1 |
(documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") | Mid-level-ontology.kif 1937-1938 | |
(subclass Vending FinancialTransaction) | Mid-level-ontology.kif 1936-1936 | Vending è una sottoclasse di ScambioFinanziario |
appearance as argument number 2 |
(termFormat EnglishLanguage Vending "vending") | domainEnglishFormat.kif 65691-65691 |
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 1979-1988 | |
(=> (instance ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 1940-1945 |
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 1952-1965 |
|