|
|
   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 and FinancialTransaction |
| 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 |
|
|
|