more pictures...
| Product
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Product ChineseLanguage "这是由 Manufacture 所产生的 Artifact。") | chinese_format.kif 3580-3580 | |
| (documentation Product EnglishLanguage "An Artifact that is produced by Manufacture.") | Merge.kif 14574-14574 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") | pictureList.kif 11698-11698 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") | pictureList.kif 11695-11695 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") | pictureList.kif 11696-11696 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") | pictureList.kif 11701-11701 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") | pictureList.kif 10226-10226 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") | pictureList.kif 11700-11700 | |
| (subclass Product Artifact) | Merge.kif 14573-14573 |
| appearance as argument number 2 |
|
|
| (subclass ComputationalSystem Product) | QoSontology.kif 20-20 | |
| (subclass ComputerHardware Product) | QoSontology.kif 59-59 | |
| (termFormat ChineseLanguage Product "产品") | chinese_format.kif 1049-1049 | |
| (termFormat EnglishLanguage Product "product") | english_format.kif 1314-1314 |
| appearance as argument number 3 |
|
|
| (domainSubclass productModel 2 Product) | QoSontology.kif 16-16 |
| antecedent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X))))) |
Hotel.kif 1431-1439 | |
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 14576-14581 |
| consequent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Store)) (forall (?OBJ) (=> (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X) (instance ?OBJ Product)) (attribute ?OBJ DutyFree)))) |
Hotel.kif 1441-1452 | |
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ Agent) (instance ?OBJ Product))) |
Media.kif 895-901 | |
| (=> (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 6692-6700 | |
| (=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT) (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 28081-28101 | |
| (=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER) (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 28106-28126 | |
| (=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product)) |
Transportation.kif 2307-2309 | |
| (=> (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 2435-2445 |
|
|
|