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 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 |
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 1309-1309 |
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 1466-1474 | |
(=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15545-15550 |
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 7014-7022 | |
(=> (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 29784-29804 | |
(=> (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 29811-29831 | |
(=> (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 1939-1949 |
![]() |
![]() |