Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contains
contains

appearance as argument number 1
-------------------------


(disjointRelation contains part) Merge.kif 1013-1013
(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 1017-1021
(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 1014-1014
(domain contains 2 Object) Merge.kif 1015-1015
(instance contains AsymmetricRelation) Merge.kif 1010-1010
(instance contains BinaryPredicate) Merge.kif 1012-1012
(instance contains PartialValuedRelation) Merge.kif 1011-1011
(instance contains SpatialRelation) Merge.kif 1009-1009

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 16947-16947
(termFormat ChineseLanguage contains "容纳") chinese_format.kif 801-801
(termFormat ChineseTraditionalLanguage contains "包含") domainEnglishFormat.kif 16946-16946
(termFormat EnglishLanguage contains "contains") domainEnglishFormat.kif 16945-16945

antecedent
-------------------------


(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322
(=>
    (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 11186-11208
(=>
    (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 11247-11269
(=>
    (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
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))		 Mid-level-ontology.kif 5156-5160
(=>
    (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 1748-1768
(=>
    (and
        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))		 Mid-level-ontology.kif 5179-5183
(=>
    (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 2795-2814
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))		 Mid-level-ontology.kif 5209-5214
(=>
    (and
        (instance ?SS ShotShell)
        (instance ?SL ShotgunSlug)
        (contains ?SS ?SL))
    (not
        (exists (?S2)
            (and
                (or
                    (instance ?S2 ShotgunSlug)
                    (instance ?S2 FirearmShot))
                (not
                    (equal ?SL ?S2))
                (contains ?SS ?S2)))))		 Mid-level-ontology.kif 1171-1184
(=>
    (and
        (instance ?T ShipContainer)
        (capacity ?T
            (MeasureFn ?X ?U))
        (instance ?X UnitOfMass)
        (contains ?T ?O)
        (weight ?O
            (MeasureFn ?Y ?U))
        (lessThan ?Y ?X))
    (modalAttribute
        (not
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (patient ?D ?T)))) Likely))		 Transportation.kif 2829-2844
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))		 Mid-level-ontology.kif 5146-5150
(=>
    (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 28487-28495
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 7647-7651
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 1023-1028
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))		 Merge.kif 982-984

consequent
-------------------------


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))		 Merge.kif 1030-1034
(=>
    (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 32510-32521
(=>
    (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 2795-2814
(=>
    (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 1252-1265
(=>
    (and
        (instance ?I Intestine)
        (instance ?A Animal)
        (part ?I ?A))
    (modalAttribute
        (exists (?E)
            (and
                (instance ?E EscherichiaColi)
                (contains ?I ?E))) Likely))		 Medicine.kif 5499-5509
(=>
    (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 11559-11566
(=>
    (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 12596-12611
(=>
    (and
        (instance ?SS ShotShell)
        (instance ?SL ShotgunSlug)
        (contains ?SS ?SL))
    (not
        (exists (?S2)
            (and
                (or
                    (instance ?S2 ShotgunSlug)
                    (instance ?S2 FirearmShot))
                (not
                    (equal ?SL ?S2))
                (contains ?SS ?S2)))))		 Mid-level-ontology.kif 1171-1184
(=>
    (and
        (instance ?V Vaccination)
        (experiencer ?V ?H))
    (exists (?VAC)
        (and
            (instance ?VAC Vaccine)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?V)
                    (contains ?H ?VAC))))))		 WMD.kif 1071-1081
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))		 Mid-level-ontology.kif 6125-6133
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 6229-6237
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))		 Mid-level-ontology.kif 6203-6211
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))		 Mid-level-ontology.kif 6042-6050
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4576-4582
(=>
    (bloodVolume ?H ?V)
    (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 5915-5929
(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A)
            (and
                (instance ?A Air)
                (contains ?AI ?A)))))		 Cars.kif 965-971
(=>
    (instance ?B Balloon)
    (hasPurpose ?B
        (exists (?G)
            (and
                (attribute ?G Gas)
                (contains ?B ?G)))))		 Cars.kif 3654-3660
(=>
    (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 7414-7428
(=>
    (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
(=>
    (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 4925-4934
(=>
    (instance ?C GunChamber)
    (hasPurpose ?C
        (exists (?B)
            (and
                (instance ?B BulletCartridge)
                (contains ?C ?B)))))		 Mid-level-ontology.kif 1328-1334
(=>
    (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 2785-2794
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))		 Mid-level-ontology.kif 12312-12317
(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))		 Mid-level-ontology.kif 4914-4916
(=>
    (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 11357-11370

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