contains - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1018-1018	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1584-1586
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1022-1026
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 161-164
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 189-193
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	The number 1 argument of contains is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1020-1020	The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1015-1015	contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1017-1017	contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1016-1016	contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1014-1014	contains is an instance of spatial relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	english_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	french_format.kif 481-481
No TPTP formula. May not be expressible in strict first order.	english_format.kif 809-809
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 503-503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16932-16932
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16931-16931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16930-16930

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	If an image is the image on an album and an object is an instance of the set of copies on a kind of data storage device of the album and a self connected object contains the object, then the statement the image is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	If a self connected object is an instance of bottle and the self connected object contains an object, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4715-4719	If a self connected object is an instance of drinking cup and the self connected object contains an object, then the object is an instance of beverage
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of unit of volume and the other object contains the entity and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4734-4739	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of freshwater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4682-4686	If a self connected object is an instance of fluid container and the self connected object contains an object, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26817-26825	If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object, then warm is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6690-6694	If the measure of an object is a constant quantity and a self connected object contains the object, then the constant quantity is a capacity of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1028-1033	If a self connected object contains an object, then there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 987-989	If a self connected object contains an object, then the self connected object is partly located in the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1035-1039	If a hole is a hole in a self connected object and an object properly fills the hole, then the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30803-30814	If an entity is an instance of karabiner and device closed is an attribute of the entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of climbing rope and the entity contains the other entity has the modal force of possibility holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of unit of volume and the other object contains the entity and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	If an object is an instance of faucet and a process is an instance of liquid motion and an entity is a patient of the process and the process is located at the object, then there doesn't exist another entity such that the other entity is an instance of tube and the other entity contains the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5490-5500	If an object is an instance of intestine and another object is an instance of animal and the object is a part of the other object, then the statement there exists an entity such that the entity is an instance of E. coli and the object contains the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11446-11453	If a process is an instance of inserting and an entity is a patient of the process and the process ends up at another entity, then the other entity doesn't contain the entity holds during the beginning of the time of existence of the process and the other entity contains the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11246-11261	If a self connected object is an instance of rib cage and the self connected object is a part of an object and the object is an instance of human and living is an attribute of the object and ~{ a physical is an instance of pathologic process } or ~{ the physical is located at the object }, then there exist the objectT and a third object such that the objectT is an instance of heart and the objectT is an instance of lung and the self connected object contains the third object and the self connected object contains the objectT
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	If a process is an instance of vaccination and an agent experiences the process, then there exists the processAC such that the processAC is an instance of vaccine and holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5168-5176	If an animal wears a self connected object and the self connected object is an instance of trousers, then there exists an object such that the object is an instance of leg and the object is a part of the animal and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5272-5280	If an animal wears a self connected object and the self connected object is an instance of sleeve, then there exists an object such that the object is an instance of arm and the object is a part of the animal and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5246-5254	If an animal wears a self connected object and the self connected object is an instance of sock, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5085-5093	If an animal wears a self connected object and the self connected object is an instance of tie clothing, then there exists an object such that the object is an instance of neck and the object is a part of the animal and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4114-4120	If waterbed is an attribute of a corpuscular object, then there exist another corpuscular object and an object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object contains the object and the object is an instance of water
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	If a human has a volume measure of blood, then there exists a substance such that the substance is an instance of blood and the human contains the substance and the human is an instance of human and the measure of the substance is the volume measure and there doesn't exist the substance2 such that the substance2 is an instance of blood and the human contains the substance2 and the substance2 is not a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3601-3607	If a physical is an instance of balloon, then the physical has the purpose there exists an entity such that gas is an attribute of the entity and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6457-6471	If a process is an instance of bloating, then there exist an agent, a self connected object,, , another self connected object and an object such that the agent experiences the process and the object is an instance of gas and the other self connected object is a part of the agent and the other self connected object is an instance of intestine and the other self connected object contains the object or the self connected object is a part of the agent and the self connected object is an instance of stomach and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4461-4470	If a physical is an instance of bag, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the other entity is an instance of object and the physical contains the other entity and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10962-10967	If an object is an instance of spinal cord, then there exists a self connected object such that the self connected object is an instance of spinal column and the self connected object contains the object
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29480-29488	If a physical is an instance of fish tank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of water and the other entity is an instance of fish and the physical contains the entity and the physical contains the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15477-15483	If a physical is an instance of garage, then the physical has the purpose there exists an entity such that the entity is an instance of road vehicle and the physical contains the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: