more pictures...
| Product(product)
more pictures... | | branded, by-product, byproduct, commodity, drygoods, end_product, fancy_goods, fungible, future, generic, generically, good, inventory, made, merchandise, model, output, prefab, product, release, soft_goods, spin-off, stock, trade_good, ware |
| appearance as argument number 1 |
|
|
| (subclass Product Artifact) | Merge.kif 15864-15864 | Product is a subclass of artifact |
| (documentation Product EnglishLanguage "An Artifact that is produced by Manufacture.") | Merge.kif 15865-15865 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") | pictureList.kif 10203-10203 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") | pictureList.kif 11661-11661 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca_cola_50cl_white_bg.jpg") | pictureList.kif 11662-11662 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") | pictureList.kif 11664-11664 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens_Celvin-1.jpg") | pictureList.kif 11666-11666 | Product is a subclass of artifact |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop_crank.jpg") | pictureList.kif 11667-11667 | Product is a subclass of artifact |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass productModel 2 Product) | QoSontology.kif 16-16 | The number 2 argument of product model is a subclass of product |
| antecedent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X))))) |
Hotel.kif 1477-1485 | If duty free is an attribute of X and X is an instance of product, then there doesn't exist Y such that Y is an instance of duty tax and X is a patient of Y |
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15867-15872 | If X is an instance of product, then there exists Y such that Y is an instance of manufacture and X is a result of Y |
| consequent |
|
|
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product))) |
Media.kif 895-901 | If X is an instance of logo and X expresses Y, then Y is an instance of agent or Y is an instance of product |
| (=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product))))) |
Mid-level-ontology.kif 2455-2465 | 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 Y is an instance of financial transaction (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of currency (6) W is a patient of Y (7) W is an instance of product |
| (=> (instance ?B Warehouse) (hasPurpose ?B (exists (?K ?P) (and (instance ?K Keeping) (patient ?K ?P) (instance ?P Product) (eventLocated ?K ?B))))) |
Mid-level-ontology.kif 8233-8241 | If X is an instance of warehouse, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, Z is an instance of product, and Y is located at X |
| (=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight (exists (?SELLING) (and (before (BeginFn (WhenFn ?INVOICE)) (BeginFn (WhenFn ?SELLING))) (instance ?SELLING Selling) (instance ?PRODUCT Product) (objectTransferred ?SELLING ?PRODUCT) (refers ?INVOICE ?PRODUCT) (agent ?SELLING ?SELLER) (patient ?SELLING ?BUYER))) ?SELLER ?BUYER)))) |
Mid-level-ontology.kif 32506-32526 | If X is an instance of invoice, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that the unique identifier of Y is X (3) Z buys V from W (4) W allows Z to perform task of the type there exists T such that the beginning of the time of existence of X happens before the beginning of the time of existence of T (5) T is an instance of selling (6) U is an instance of product (7) the object transferred in T is U (8) X includes a reference to U (9) W is an agent of T (10) Z is a patient of T |
| (=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation (exists (?BUYING) (and (before (BeginFn (WhenFn ?PO)) (BeginFn (WhenFn ?BUYING))) (instance ?BUYING Buying) (instance ?PRODUCT Product) (objectTransferred ?BUYING ?PRODUCT) (refers ?PO ?PRODUCT) (agent ?BUYING ?BUYER) (patient ?BUYING ?SELLER))) ?BUYER ?SELLER)))) |
Mid-level-ontology.kif 32533-32553 | If X is an instance of purchase order, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that the unique identifier of Y is X (3) Z buys V from W (4) Z obligates W to perform task of the type there exists U such that the beginning of the time of existence of X happens before the beginning of the time of existence of U (5) U is an instance of buying (6) V is an instance of product (7) the object transferred in U is V (8) X includes a reference to V (9) Z is an agent of U (10) W is a patient of U |
| (=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product)) |
Transportation.kif 2508-2510 | If X is an instance of general cargo ship, then product is a cargo type of X |
| (=> (instance ?PLANT Factory) (exists (?PRODUCT ?MANUFACT) (and (instance ?PRODUCT Product) (eventLocated ?MANUFACT ?PLANT) (result ?MANUFACT ?PRODUCT)))) |
Society.kif 1114-1120 | If X is an instance of Factory, then there exist Y, Z such that Y is an instance of product, Z is located at X, and Y is a result of Z |
|
|
|