|
|
   Product
|
|
|
| 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 15663-15663 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") | pictureList.kif 11679-11679 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") | pictureList.kif 11676-11676 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") | pictureList.kif 11677-11677 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") | pictureList.kif 11682-11682 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") | pictureList.kif 10207-10207 | |
| (externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") | pictureList.kif 11681-11681 | |
| (subclass Product Artifact) | Merge.kif 15662-15662 | 产品 是 人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AnimalProduct Product) | Economy.kif 5009-5009 | AnimalProduct 是 产品 的 subclass |
| (subclass ComputationalSystem Product) | QoSontology.kif 20-20 | 计算系统 是 产品 的 subclass |
| (subclass ComputerHardware Product) | QoSontology.kif 59-59 | 电脑硬件 是 产品 的 subclass |
| (subclass ForestProduct Product) | Economy.kif 5207-5207 | ForestProduct 是 产品 的 subclass |
| (subclass PlantProduct Product) | Economy.kif 5186-5186 | PlantProduct 是 产品 的 subclass |
| (termFormat ChineseLanguage Product "产品") | chinese_format.kif 1049-1049 | |
| (termFormat EnglishLanguage Product "product") | english_format.kif 1309-1309 | |
| (termFormat FrenchLanguage Product "produit") | french_format.kif 727-727 | |
| (termFormat Hindi Product "utpaada") | terms-hindi.txt 258-258 | |
| (termFormat ItalianLanguage Product "Prodotto") | terms-it.txt 261-261 | |
| (termFormat JapaneseLanguage Product "製品") | japanese_format.kif 2411-2411 | |
| (termFormat PortugueseLanguage Product "Produto") | portuguese_format.kif 679-679 | |
| (termFormat cb Product "ani") | terms-cb.txt 263-263 | |
| (termFormat cz Product "product") | terms-cz.txt 297-297 | |
| (termFormat ro Product "produs") | relations-ro.kif 748-748 | |
| (termFormat tg Product "bunga") | terms-tg.txt 262-262 |
| appearance as argument number 3 |
|
|
| (domainSubclass productModel 2 Product) | QoSontology.kif 16-16 | 产品型号 的 2 数量 是 产品 的 subclass |
| antecedent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Product)) (not (exists (?DUTY) (and (instance ?DUTY DutyTax) (patient ?DUTY ?X))))) |
Hotel.kif 1466-1474 | |
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15665-15670 |
| consequent |
|
|
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (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 7026-7034 | |
| (=> (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 29785-29805 |
|
| (=> (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 29812-29832 |
|
| (=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product)) |
Transportation.kif 2318-2320 | |
| (=> (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 1946-1956 |
|
|
|
