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 e' uma sub-classe de Transacao Financeira |
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 |
|