TreeView Knowledge Base Browser

appearance as argument number 1

(disjointRelation contains part)	Merge.kif 1018-1018	contains and part are disjoint
(documentation contains ChineseLanguage "这是两个可分离物体的空间容量关系。用于不可分离的物体（如汽车和它的座位)时，应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间（即一个 HoleRegion)，而它至少由 ?OBJ2 填满了一部分。。")	chinese_format.kif 1584-1586
(documentation contains EnglishLanguage "The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a HoleRegion) which is at least partially filled by ?OBJ2.")	Merge.kif 1022-1026
(documentation contains JapaneseLanguage "２つの分離可能なオブジェクトの空間コンテインメントの関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要がある。　(contains ?OBJ1 ?OBJ2) とは、SelfConnectedObject ?OBJ1 にスペース (すなわち HoleRegion) があることを意味し、少なくとも部分的に?OBJ2で満たされている)。")	japanese_format.kif 161-164
(documentation contains SpanishLanguage "La relación de contención espacial para dos objetos separables. Cuando dos objetos no son separables (un automóvil y el asiento), se debe usar la relación part. (contains ?OBJ1 ?OBJ2) significa que el SelfConnectedObject ?OBJ1 tiene un espacio (por ejemplo «hueco» Hole) por lo que se llena parcialmente por ?OBJ2.")	spanish_format.kif 189-193
(domain contains 1 SelfConnectedObject)	Merge.kif 1019-1019	The number 1 argument of contains is an instance of self connected object
(domain contains 2 Object)	Merge.kif 1020-1020	The number 2 argument of contains is an instance of object
(instance contains AsymmetricRelation)	Merge.kif 1015-1015	contains is an instance of asymmetric relation
(instance contains BinaryPredicate)	Merge.kif 1017-1017	contains is an instance of binary predicate
(instance contains PartialValuedRelation)	Merge.kif 1016-1016	contains is an instance of partial valued relation
(instance contains SpatialRelation)	Merge.kif 1014-1014	contains is an instance of spatial relation

appearance as argument number 2

(format ChineseLanguage contains "%1 %n{doesn't} contains %2")	chinese_format.kif 800-800
(format EnglishLanguage contains "%1 %n{doesn't} contain%p{s} %2")	english_format.kif 808-808
(format FrenchLanguage contains "%1 %n{ne} contient %n{pas} %2")	french_format.kif 481-481
(format JapaneseLanguage contains "%1 は %2 を contain%p{s} %n{ない}")	english_format.kif 809-809
(format PortugueseLanguage contains "%1 %n{nao} contem %n %2")	portuguese_format.kif 433-433
(format ro contains "%1 %n{nu} contain%t{conþine} %2")	relations-ro.kif 503-503
(termFormat ChineseLanguage contains "包含")	domainEnglishFormat.kif 16932-16932
(termFormat ChineseLanguage contains "容纳")	chinese_format.kif 801-801
(termFormat ChineseTraditionalLanguage contains "包含")	domainEnglishFormat.kif 16931-16931
(termFormat EnglishLanguage contains "contains")	domainEnglishFormat.kif 16930-16930

antecedent

(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely))	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
(=> (and (instance ?A Antacid) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9866-9888	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
(=> (and (instance ?A ProtonPumpInhibitor) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?A) (instance ?S Stomach) (part ?S ?H) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (and (contains ?S ?F1) (instance ?F1 Fluid))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (and (contains ?S ?F2) (instance ?F2 Fluid))) (phMeasure ?F1 ?N1) (phMeasure ?F2 ?N2)) (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9927-9949	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
(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T))))	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
(=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid))	Mid-level-ontology.kif 4687-4691	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
(=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP ?L2) (and (part ?PP ?P) (hasPurpose ?PP (and (attribute ?L2 Liquid) (meetsSpatially ?L2 ?PP))) (holdsDuring (WhenFn ?C) (not (exists (?L3) (and (attribute ?L3 Liquid) (meetsSpatially ?PP ?L3))))))))	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
(=> (and (instance ?CUP DrinkingCup) (contains ?CUP ?STUFF)) (instance ?STUFF Beverage))	Mid-level-ontology.kif 4710-4714	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
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2794-2813	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
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater))	Mid-level-ontology.kif 4729-4734	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
(=> (and (instance ?TANK FluidContainer) (contains ?TANK ?STUFF)) (attribute ?STUFF Fluid))	Mid-level-ontology.kif 4677-4681	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
(=> (and (instance ?X HeatedPool) (contains ?X ?WATER) (instance ?WATER FreshWater) (part ?X ?HEATER) (instance ?HEATER WaterHeater) (attribute ?HEATER DeviceOn)) (attribute ?WATER WarmTemperature))	Mid-level-ontology.kif 26862-26870	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
(=> (and (measure ?OBJ1 ?MEAS) (contains ?OBJ2 ?OBJ1)) (capacity ?OBJ2 ?MEAS))	Mid-level-ontology.kif 6685-6689	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
(=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE))))	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
(=> (contains ?SMALL ?BIG) (partlyLocated ?SMALL ?BIG))	Merge.kif 987-989	If a self connected object contains an object, then the self connected object is partly located in the object

consequent

(=> (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)) (contains ?OBJ1 ?OBJ2))	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
(=> (and (instance ?C Carabiner) (holdsDuring ?T (attribute ?C DeviceClosed))) (holdsDuring ?T (modalAttribute (exists (?R) (and (instance ?R ClimbingRope) (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 30839-30850	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
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2794-2813	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
(=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L))))))	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
(=> (and (instance ?I Intestine) (instance ?A Animal) (part ?I ?A)) (modalAttribute (exists (?E) (and (instance ?E EscherichiaColi) (contains ?I ?E))) Likely))	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
(=> (and (instance ?INSERT Inserting) (patient ?INSERT ?OBJ1) (destination ?INSERT ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?INSERT)) (not (contains ?OBJ2 ?OBJ1))) (holdsDuring (EndFn (WhenFn ?INSERT)) (contains ?OBJ2 ?OBJ1))))	Merge.kif 11470-11477	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
(=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT))))	Mid-level-ontology.kif 11274-11289	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
(=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (exists (?VAC) (and (instance ?VAC Vaccine) (holdsDuring (ImmediateFutureFn (WhenFn ?V) (contains ?H ?VAC))))))	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
(=> (and (wears ?H ?T) (instance ?T Trousers)) (exists (?L) (and (instance ?L Leg) (part ?L ?H) (contains ?T ?L))))	Mid-level-ontology.kif 5163-5171	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
(=> (and (wears ?P ?S) (instance ?S Sleeve)) (exists (?A) (and (instance ?A Arm) (part ?A ?P) (contains ?S ?A))))	Mid-level-ontology.kif 5267-5275	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
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F))))	Mid-level-ontology.kif 5241-5249	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
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 5080-5088	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
(=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water))))	Mid-level-ontology.kif 4107-4113	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
(=> (bloodVolume ?H ?V) (and (exists (?B) (and (instance ?B Blood) (contains ?H ?B) (instance ?H Human) (measure ?B ?V))) (not (exists (?B2) (and (instance ?B2 Blood) (contains ?H ?B2) (not (piece ?B2 ?B)))))))	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
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A)))))	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
(=> (instance ?B Balloon) (hasPurpose ?B (exists (?G) (and (attribute ?G Gas) (contains ?B ?G)))))	Cars.kif 3578-3584	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
(=> (instance ?B Bloating) (exists (?P ?S ?I ?G) (and (experiencer ?B ?P) (instance ?G Gas) (or (and (part ?I ?P) (instance ?I Intestine) (contains ?I ?G)) (and (part ?S ?P) (instance ?S Stomach) (contains ?S ?G))))))	Mid-level-ontology.kif 6452-6466	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
(=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A)))))))	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
(=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ)))))	Mid-level-ontology.kif 4456-4465	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
(=> (instance ?C ShipContainer) (hasPurpose ?C (exists (?S ?O) (and (instance ?S Shipping) (cargo ?S ?C) (cargo ?S ?O) (holdsDuring (WhenFn ?S) (contains ?C ?O))))))	Transportation.kif 2601-2610	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
(=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C))))	Mid-level-ontology.kif 10990-10995	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
(=> (instance ?CONTAINER Container) (hasPurpose ?CONTAINER (exists (?OBJ) (contains ?CONTAINER ?OBJ))))	Mid-level-ontology.kif 4445-4447	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
(=> (instance ?D Diuretic) (hasPurpose ?D (exists (?R ?L ?H ?LOC) (and (instance ?H Human) (instance ?R Removing) (instance ?L Liquid) (experiencer ?R ?H) (moves ?R ?L) (origin ?L ?H) (not (contains ?H ?LOC)) (destination ?R ?LOC)))))	Mid-level-ontology.kif 10037-10050	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
(=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F)))))	Mid-level-ontology.kif 29543-29551	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
(=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3))))))))))))	Cars.kif 2826-2855	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

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: