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 15715-15715 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") | pictureList.kif 11671-11671 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") | pictureList.kif 11668-11668 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") | pictureList.kif 11669-11669 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") | pictureList.kif 11674-11674 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") | pictureList.kif 10205-10205 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") | pictureList.kif 11673-11673 | |
(subclass Product Artifact) | Merge.kif 15714-15714 | Produit est une sous-classe de artefact |
appearance as argument number 2 |
(subclass AnimalProduct Product) | Economy.kif 5009-5009 | AnimalProduct est une sous-classe de produit |
(subclass ComputationalSystem Product) | QoSontology.kif 20-20 | ComputationalSystem est une sous-classe de produit |
(subclass ComputerHardware Product) | QoSontology.kif 59-59 | ComputerHardware est une sous-classe de produit |
(subclass ForestProduct Product) | Economy.kif 5207-5207 | ForestProduct est une sous-classe de produit |
(subclass PlantProduct Product) | Economy.kif 5186-5186 | PlantProduct est une sous-classe de produit |
(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 | Le nombre 2 argument de productModel est une sous-classe de produit |
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 15717-15722 |
consequent |