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 15739-15739
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11671-11671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11668-11668
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11669-11669
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11674-11674
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10205-10205
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11673-11673
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15738-15738	Produit est une sous-classe de artefact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5009-5009	AnimalProduct est une sous-classe de produit
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 20-20	ComputationalSystem est une sous-classe de produit
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 59-59	ComputerHardware est une sous-classe de produit
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5207-5207	ForestProduct est une sous-classe de produit
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5186-5186	PlantProduct est une sous-classe de produit
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 1309-1309
No TPTP formula. May not be expressible in strict first order.	french_format.kif 727-727
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 258-258
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 261-261
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2411-2411
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 679-679
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 263-263
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 297-297
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 748-748
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 262-262

appearance as argument number 3

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

QoSontology.kif 16-16

Le nombre 2 argument de productModel est une sous-classe de produit

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1466-1474	DutyFree est un attribut de objet objet est une instance de produit processus processus est une instance de DutyTax objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15741-15746	Entit� est une instance de produit processus processus est une instance de manufacture entit� est le resultat de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 895-901	Entit� est une instance de Logo entit� d�finie entit� entit� est une instance de AutonomousAgent entit� est une instance de produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7081-7089	Physique est une instance de Warehouse physique a pour but entit� entit� entit� est une instance de garder entit� est un patient de entit� entit� est une instance de produit eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29892-29912	Entit� est une instance de Invoice cha�ne sympbolique agent cognitif, AutonomousAgent, entit� and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, AutonomousAgent and entit� AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de vendre entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de AutonomousAgent agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29919-29939	Entit� est une instance de PurchaseOrder cha�ne sympbolique agent cognitif, agent cognitif and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, agent cognitif and entit� agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de acheter entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de agent cognitif agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2324-2326	V�hicule de transport est une instance de GeneralCargoShip cargoType v�hicule de transport and produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1967-1977	Physique est une instance de VendingMachine physique a pour but entit� entit� and entit� entit� est une instance de financial transaction physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de Currency entit� est un patient de entit� entit� est une instance de produit

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: