Product - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3580-3580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14574-14574
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11698-11698
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11695-11695
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11696-11696
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11701-11701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10226-10226
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11700-11700
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14573	Product is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 20-20	Computational system is a subclass of product
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	Computer hardware is a subclass of product
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1049-1049
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1314-1314

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 16-16

The number 2 argument of product model is a subclass of product

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1418-1426	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14576-14581	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

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1428-1439	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6692-6700	If a physical is an instance of warehouse, then the physical 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28081-28101	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28106-28126	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2307-2309	If a transportation device is an instance of general cargo ship, then product is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2435-2445	If a physical is an instance of vending machine, then the physical 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: