Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Product
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Product Artifact) | Merge.kif 15977-15977 | Product is a subclass of artifact |
| (documentation Product EnglishLanguage "An Artifact that is produced by Manufacture.") | Merge.kif 15978-15978 | 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 |
|
|
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15980-15985 | 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 |
| (=> (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 |
| consequent |
|
|
| (=> (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 2549-2559 | 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 8370-8378 | 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 ?SELLER ?BUYER (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))))))) |
Mid-level-ontology.kif 32467-32487 | 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) Z allows 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 to perform task of the type W |
| (=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation ?BUYER ?SELLER (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))))))) |
Mid-level-ontology.kif 32494-32514 | 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) W obligates 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 to perform task of the type Z |
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product))) |
Media.kif 886-892 | 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 ?SHIP GeneralCargoShip) (cargoType ?SHIP Product)) |
Transportation.kif 2503-2505 | 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 |
|
