| appearance as argument number 1 |
|
| (subclass Vending FinancialTransaction) | Mid-level-ontology.kif 2424-2424 | Vending is a subclass of financial transaction |
| (documentation Vending EnglishLanguage "A FinancialTransaction in which the seller is a Machine") | Mid-level-ontology.kif 2425-2426 | Vending is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Vending "vending") | domainEnglishFormat.kif 65692-65692 |
| antecedent |
|
|
| (=> (instance ?V Vending) (exists (?VM) (and (instance ?VM VendingMachine) (origin ?V ?VM)))) |
Mid-level-ontology.kif 2428-2433 | If X is an instance of vending, then there exists Y such that Y is an instance of vending machine and X originates at Y |
| (=> (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 2467-2476 | If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| 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 2440-2453 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners