TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1028-1028	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1584-1586	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1032-1036	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 161-164	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 189-193	contains and part are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1029-1029	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 1030-1030	The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1025-1025	contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1027-1027	contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1026-1026	contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1024-1024	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 16941-16941
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 16940-16940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16939-16939

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 11168-11190	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 11229-11251	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 equal the self connected object and 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 5137-5141	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 1748-1768	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 5160-5164	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 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 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 5190-5195	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 1172-1185	If a self connected object is an instance of shot shell and an object is an instance of shotgun slug and the self connected object contains the object, then there doesn't exist another object such that the other object is an instance of shotgun slug or the other object is an instance of firearm shot and equal the object and the other object and the self connected object contains the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2829-2844	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5127-5131	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 28728-28736	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 7628-7632	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 1038-1043	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 997-999	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 1045-1049	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 32751-32762	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 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 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 1252-1265	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 5499-5509	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 11574-11581	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 12578-12593	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.	Mid-level-ontology.kif 1172-1185	If a self connected object is an instance of shot shell and an object is an instance of shotgun slug and the self connected object contains the object, then there doesn't exist another object such that the other object is an instance of shotgun slug or the other object is an instance of firearm shot and equal the object and the other object and the self connected object contains the other object
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 6106-6114	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 6210-6218	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 6184-6192	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 6023-6031	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 4557-4563	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 5915-5929	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 3654-3660	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 7395-7409	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 4906-4915	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 1329-1335	If a physical is an instance of gun chamber, then the physical has the purpose there exists an entity such that the entity is an instance of bullet cartridge and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2785-2794	If a physical is an instance of ship container, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shipping and the physical is carried as cargo during the entity and the other entity is carried as cargo during the entity and the physical contains the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12294-12299	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 4895-4897	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 11339-11352	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

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: