TreeView Knowledge Base Browser - Product

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Product

Product(product)

more pictures...

branded, by-product, byproduct, commodity, drygoods, end_product, fancy_goods, fungible, future, generic, generically, good, inventory, made, merchandise, model, output, prefab, product, release, soft_goods, spin-off, stock, trade_good, ware

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 15411-15411
(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 15410-15410	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 1444-1452	If duty free is an attribute of an object and the object is an instance of product, then there doesn't exist a process such that the process is an instance of duty tax and the object is a patient of the process
(=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT))))	Merge.kif 15413-15418	If an entity is an instance of product, then there exists a process such that the process is an instance of manufacture and the entity is a result of the process

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 1454-1465	If duty free is an attribute of an object and the object is an instance of store, then for all another object if a process is an instance of selling and the other object is a patient of the process and the process is located at the object and the other object is an instance of product, then duty free is an attribute of the other object
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ Agent) (instance ?OBJ Product)))	Media.kif 895-901	If an entity is an instance of Logo and the entity expresses another entity, then the other entity is an instance of agent or the other entity is an instance of product
(=> (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 6714-6722	If a physical is an instance of warehouse, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of keeping and the other entity is a patient of the entity and the other entity is an instance of product and the entity is located at 2
(=> (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 29256-29276	If an entity is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the other cognitive agent allows the cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of selling and a fourth entity is an instance of product and the object transferred in the third entity is the fourth entity and the entity includes a reference to the fourth entity and the other cognitive agent is an agent of the third entity and the cognitive agent is a patient of the third entity
(=> (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 29283-29303	If an entity is an instance of PurchaseOrder, then there exist a symbolic string, a cognitive agent and another cognitive agent such that the unique identifier of the symbolic string is the entity and the cognitive agent buys another entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
(=> (instance ?SHIP GeneralCargoShip) (cargoType ?SHIP Product))	Transportation.kif 2325-2327	If a transportation device is an instance of general cargo ship, then product is a cargo type of the transportation device
(=> (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 1929-1939	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of financial transaction and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of currency and the third entity is a patient of the entity and the third entity is an instance of product

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners