contains - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 948-948	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 952-956
No TPTP formula. May not be expressible in strict first order.	Merge.kif 949-949	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 950-950	The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 946-946	contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 947-947	contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 945-945	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 16861-16861	"包含" is the printable form of contains in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 801-801	"容纳" is the printable form of contains in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16860-16860	"包含" is the printable form of contains in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16859-16859	"contains" is the printable form of contains in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 958-963	A self connected object は an object を contains %n{ない} 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 は the object を contains %n{ない}, 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 861-875	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 は the object を contains %n{ない} 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 5015-5019	If a self connected object is an instance of bottle and the self connected object は an object を contains %n{ない}, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1736-1756	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 は the object を contains %n{ない}, 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 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 5035-5039	If a self connected object is an instance of drinking cup and the self connected object は an object を contains %n{ない}, then the object is an instance of beverage
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2795-2814	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 は the entity を contains %n{ない} 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 purpose there doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object は the entity2 を contains %n{ない} 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 5054-5059	If a self connected object is an instance of swimming pool and the self connected object は an object を contains %n{ない} 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 5005-5009	If a self connected object is an instance of fluid container and the self connected object は an object を contains %n{ない}, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24881-24889	If a self connected object is an instance of heated pool and the self connected object は an object を contains %n{ない} 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 6323-6327	If the measure of an object is a constant quantity and a self connected object は the object を contains %n{ない}, 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 941-943	If a self connected object は an object を contains %n{ない}, then the self connected object is partly located in the object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2795-2814	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 は the entity を contains %n{ない} 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 purpose there doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object は the entity2 を contains %n{ない} 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 934-947	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 は the entity を contains %n{ない} holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10490-10497	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 は the entity を contain ない holds during the beginning of the time of existence of the process and the other entity は the entity を contains %n{ない} 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 5454-5462	If an animal は % を wears %n{ない} and a 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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5546-5554	If an animal は % を wears %n{ない} and a 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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5523-5531	If an animal は % を wears %n{ない} and a 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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5382-5390	If an animal は % を wears %n{ない} and a 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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4586-4592	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 は the object を contains %n{ない} and the object is an instance of water
No TPTP formula. May not be expressible in strict first order.	Cars.kif 955-961	If a physical is an instance of air intake, then the physical purpose there exists an entity such that the entity is an instance of air and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3569-3575	If a physical is an instance of balloon, then the physical purpose there exists an entity such that gas is an attribute of the entity and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6143-6157	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 は the object を contains %n{ない} 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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1514-1524	If a physical is an instance of bleeding air, then the physical 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 は the other entity を contains %n{ない} holds during immediately before the physical and the entity は the other entity を contain ない holds during immediately after the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4940-4949	If a physical is an instance of bag, then the physical 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 は the other entity を contains %n{ない} 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 9407-9412	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 は the object を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4921-4923	If a physical is an instance of container, then the physical purpose there exists an entity such that the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27567-27575	If a physical is an instance of FishTank, then the physical 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 は the entity を contains %n{ない} and the physical は the other entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2827-2856	If a physical is an instance of gasket, then the physical 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 は the fifth entity を contains %n{ない} and the entity は the sixth entity を contain ない and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity は the fifth entity3 を contains %n{ない} and the entity は the fifth entity3 を contain ない and the other entity は the fifth entity3 を contain ない
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13154-13160	If a physical is an instance of garage, then the physical purpose there exists an entity such that the entity is an instance of road vehicle and the physical は another entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 990-1001	If a physical is an instance of gas tank, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of fuel and the physical は the entity を contains %n{ない} 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 982-988	If a physical is an instance of gas tank, then the physical purpose there exists an entity such that the entity is an instance of fuel and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2064-2070	If a physical is an instance of holster, then the physical purpose there exists an entity such that the entity is an instance of pistol and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4805-4811	If a physical is an instance of tool box, then the physical purpose there exists an entity such that the entity is an instance of hand tool and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3297-3303	If a physical is an instance of oil pan, then the physical purpose there exists an entity such that the entity is an instance of oil and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6503-6509	If a physical is an instance of tomb, then the physical purpose there exists an entity such that dead is an attribute of the entity and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2511-2517	If a physical is an instance of tub, then the physical purpose there exists an entity such that the entity is an instance of water and the physical は the entity を contains %n{ない}

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: