TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4445-4448
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 4444-4444	Container is a subclass of holder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4454-4454	Bag is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4472-4472	Box is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4150-4150	Chest or cabinet is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4154-4154	Coffin is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4164-4164	Compartment is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4668-4668	Envelope is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4678-4678	Fluid container is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1654-1654	Holster is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4176-4176	Mailbox is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2318-2318	Oven is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11388-11388	Pericardial sac is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4515-4515	Porous container is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2349-2349	Pot or pan is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5155-5155	Product package is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1121-1121	Projectile shell is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2344-2344	Refrigerator is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2721-2721	Safe container is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4673-4673	Travel container is a subclass of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1666-1666	Wastebasket is a subclass of 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 4450-4452

If a physical is an instance of container,
then the physical has the purpose there exists an entity such that the physical contains the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1624-1626	If container empty is an attribute of an object, then the object is an instance of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1642-1644	If container full is an attribute of an object, then the object is an instance of container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4168-4174	If an object is an instance of compartment, then there exists another object such that the other object is an instance of container and the object is not equal to the other object and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	If a physical is an instance of heat sealer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of container and the other entity is an instance of plastic and the entity is an instance of closing and the fourth entity is an instance of heating and the physical is an instrument for the entity and the other entity is an instrument for the entity and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity and the entity is a result of the fourth entity and the third entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4019-4027	If a self connected object is an instance of lid, then there exists another self connected object such that the other self connected object is an instance of container and the self connected object is a part of the other self connected object and the self connected object is capable of doing closing as a instrument and the self connected object is capable of doing opening as a instrument and the top of the other self connected object is the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17538-17549	If a process is an instance of pouring, then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and the other object is not equal to the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2830-2855	If the rate of rain in a geographic area during a time interval is a function quantity, then there exist a transfer, a collection,, , a physical,, , a self connected object,, , an entity,, , another self connected object and the transferFALL such that the transfer is an instance of raining and the transfer is located at the geographic area and the time of existence of the transfer takes place during the time interval and the collection is an instance of collection and the object transferred in the transfer is the collection and the physical is an instance of water and the physical is a member of the collection and the self connected object is an instance of container and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and container empty is an attribute of the self connected object holds during the beginning of the time interval and the collection is located at the self connected object and the top of the collection is the entity and the depth from the entity to the other self connected object is the transferFALL and the transferFALL is equal to the time interval and the function quantity holds during the end of the time interval

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

KB Term:			Term intersection

English Word: