Container - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4440-4443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1717-1717
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 34-34
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 35-35
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4439-4439	Container est une sous-classe de Holder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4449-4449	Bag est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4467-4467	Box est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4143-4143	ChestOrCabinet est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4147-4147	Coffin est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4157-4157	Compartment est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4663-4663	Envelope est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4673-4673	FluidContainer est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1647-1647	Holster est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4169-4169	Mailbox est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2311-2311	Oven est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11415-11415	Pericardium est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4510-4510	PorousContainer est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2342-2342	PotOrPan est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5155-5155	ProductPackage est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1114-1114	ProjectileShell est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2337-2337	Refrigerator est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2714-2714	SafeContainer est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2596-2596	ShipContainer est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4668-4668	TravelContainer est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1659-1659	Wastebasket est une sous-classe de Container
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16896-16896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16895-16895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16894-16894

antecedent

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

Mid-level-ontology.kif 4445-4447

Physique est une instance de Container
physique a pour but entit� physique contient entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1617-1619	ContainerEmpty est un attribut de objet objet est une instance de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1635-1637	ContainerFull est un attribut de objet objet est une instance de Container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4161-4167	Objet est une instance de Compartment objet objet est une instance de Container objet est objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	Physique est une instance de HeatSealer physique a pour but entit� entit�, entit� and entit� entit� est une instance de Container entit� est une instance de Plastic entit� est une instance de Closing entit� est une instance de r�chauffer physique est un instrument pour entit� entit� est un instrument pour entit� entit� est un agent de physique entit� est un patient de entit� entit� est le resultat de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4012-4020	Objet en une partie est une instance de Lid objet en une partie objet en une partie est une instance de Container objet en une partie est une partie de objet en une partie objet en une partie est capable de faire Closing dans le r�le instrument objet en une partie est capable de faire Opening dans le r�le instrument le dessus de objet en une partie est objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17565-17576	Processus est une instance de Pouring objet objet and entit� processus a pour origine objet processus aboutit � entit� objet est une instance de Container entit� est une instance de Container objet est entit� objet est un patient de processus Liquid est un attribut de objet objet est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2813-2838	rainfallIntensity secteur g�ographique, interval temporel and function de quantit� transf�re collection, physique, objet en une partie, entit�, objet en une partie and transf�reFALL transf�re est une instance de Raining eventLocated transf�re and secteur g�ographique temps d'existence de transf�re prend place pendant interval temporel collection est une instance de collection objectTransferred transf�re and collection physique est une instance de eau physique est un membre de collection objet en une partie est une instance de Container l' arri�re de objet en une partie est objet en une partie Flat est un attribut de objet en une partie objet en une partie est situ� � secteur g�ographique ContainerEmpty est un attribut de objet en une partie pendant le d�but de interval temporel collection est situ� � objet en une partie le dessus de collection est entit� depth entit�, objet en une partie and transf�reFALL transf�reFALL est interval temporel + function de quantit� pendant la fin de interval temporel

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: