contains - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 945-945	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 949-953
No TPTP formula. May not be expressible in strict first order.	Merge.kif 946-946	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 947-947	The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 942-942	contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 944-944	contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 943-943	contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 941-941	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 811-811
No TPTP formula. May not be expressible in strict first order.	english_format.kif 812-812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16923-16923
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 16922-16922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16921-16921

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 955-960	A self connected object contains an object if and only if 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.	Music.kif 313-319	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice 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.	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 4406-4410	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 1755-1775	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 exists the self connected objectP 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 an 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 4429-4433	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 2825-2844	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 UnitOfVolume 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 doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is a 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 4448-4453	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 water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4396-4400	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 23023-23031	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 water and the self connected object is a part of another object and the other object is an instance of WaterHeater 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 5730-5734	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 937-939	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.	Mid-level-ontology.kif 27031-27042	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 2825-2844	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 UnitOfVolume 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 doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is a 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 938-951	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.	Merge.kif 10679-10686	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 4856-4864	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 4955-4963	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 4931-4939	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 4782-4790	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 3985-3991	If water bed 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.	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 3610-3616	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 5553-5567	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 1533-1543	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 4331-4340	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 8534-8539	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 4320-4322	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 25726-25734	If a physical is an instance of FishTank, 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 2857-2886	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 doesn't exist a third 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 a fourth entity is an instance of translocation and the third entity is path along which the fourth entity occurs and the fourth entity originates at a fifth entity and the fourth entity ends up at a sixth entity and the entity contains the fifth entity and the entity doesn't contain the sixth entity and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity contains the fifth entity3 and the entity doesn't contain the fifth entity3 and the other entity doesn't contain the fifth entity3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12210-12216	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	If a physical is an instance of gas tank, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of fuel and the physical contains the entity and the third entity is an instance of engine and the other entity is an instance of transfer and the other entity originates at the physical and the other entity ends up at the third entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 992-998	If a physical is an instance of gas tank, then the physical has the purpose there exists an entity such that the entity is an instance of fuel and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1595-1601	If a physical is an instance of holster, then the physical has the purpose there exists an entity such that the entity is an instance of pistol and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4849-4855	If a physical is an instance of tool box, then the physical has the purpose there exists an entity such that the entity is an instance of hand tool and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3337-3343	If a physical is an instance of oil pan, then the physical has the purpose there exists an entity such that the entity is an instance of oil and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5885-5891	If a physical is an instance of tomb, then the physical has the purpose there exists an entity such that dead is an attribute of the entity 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: