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 15843-15843
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11664-11664
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11661-11661
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11662-11662
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11667-11667
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10203-10203
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11666-11666
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15842-15842	Product is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5349-5349	Animal product is a subclass of product
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.	Economy.kif 5548-5548	Forest product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5527-5527	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1049-1049	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1309-1309	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	french_format.kif 727-727	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 258-258	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 261-261	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2411-2411	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 679-679	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 263-263	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 297-297	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 556-556	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 748-748	Plant product is a subclass of product
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 262-262	Plant product is a subclass of product

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 1477-1485	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 15845-15850	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.	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 8215-8223	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 the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31760-31780	If an entity is an instance of invoice, then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the agent and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and the object transferred in the fourth entity is the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31787-31807	If an entity is an instance of purchase order, 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 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 2493-2495	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 2437-2447	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 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: