| appearance as argument number 1 |
|
| (subclass TobaccoProduct Artifact) | naics.kif 1824-1824 | Tobacco product is a subclass of artifact |
| (documentation TobaccoProduct EnglishLanguage "A product that contains tobacco leaves and has the delivery of the biologically active ingredients of the tobacco plant as its intended function. This includes cigars, cigarettes, packaged chewing tobacco etc.") | naics.kif 1826-1829 | Tobacco product is a subclass of artifact |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG BeverageAndTobaccoProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Beverage) (instance ?THING TobaccoProduct)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1831-1849 | If X is an instance of organization and beverage and tobacco product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of beverage or W is an instance of tobacco product (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|
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