![]() |
![]() ![]() ![]()
|
![]() |
|
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 15543-15543 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/2/ 28/ Cofee_01473.JPG") | pictureList.kif 11687-11687 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Mercedes_CLK55_W209.jpg") | pictureList.kif 11684-11684 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/4/ 41/ Coca-cola_50cl_white-bg.jpg") | pictureList.kif 11685-11685 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Laptop-crank.jpg") | pictureList.kif 11690-11690 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ McDonald%27s_BigMac_ja-1.jpg") | pictureList.kif 10215-10215 | |
(externalImage Product "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ FujitsuSiemens-Celvin-1.jpg") | pictureList.kif 11689-11689 | |
(subclass Product Artifact) | Merge.kif 15542-15542 | Product is a subclass of artifact |
appearance as argument number 2 |
![]() |
(subclass ComputationalSystem Product) | QoSontology.kif 20-20 | Computational system is a subclass of product |
(subclass ComputerHardware Product) | QoSontology.kif 59-59 | Computer hardware is a subclass of product |
(termFormat ChineseLanguage Product "产品") | chinese_format.kif 1049-1049 | |
(termFormat EnglishLanguage Product "product") | english_format.kif 1309-1309 |
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 1466-1474 |
|
(=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15545-15550 |
|
consequent |
![]() |
![]() |
![]() |