TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 946-946	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 950-954
No TPTP formula. May not be expressible in strict first order.	Merge.kif 947-947	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 948-948	The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 943-943	contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 945-945	contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 944-944	contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 942-942	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 16864-16864
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 16863-16863
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16862-16862

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 956-961	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 862-876	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 5018-5022	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 1737-1757	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 5038-5042	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 2796-2815	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 5057-5062	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 5008-5012	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 25020-25028	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 6330-6334	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 938-940	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 2796-2815	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 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 は 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 10664-10671	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 5457-5465	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 5554-5562	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 5531-5539	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 5385-5393	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 4589-4595	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 956-962	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 3571-3577	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 6151-6165	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 1515-1525	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 4943-4952	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 9393-9398	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 4924-4926	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 27700-27708	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 2828-2857	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 13189-13195	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 は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Cars.kif 991-1002	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 983-989	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 2068-2074	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 4807-4813	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 3298-3304	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 6485-6491	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 2515-2521	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: