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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contains

 Sigma KEE - contains
contains

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


(disjointRelation contains part) Merge.kif 1007-1007
(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 1011-1015
(domain contains 1 SelfConnectedObject) Merge.kif 1008-1008
(domain contains 2 Object) Merge.kif 1009-1009
(instance contains AsymmetricRelation) Merge.kif 1004-1004
(instance contains BinaryPredicate) Merge.kif 1006-1006
(instance contains PartialValuedRelation) Merge.kif 1005-1005
(instance contains SpatialRelation) Merge.kif 1003-1003

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 JapaneseLanguage contains "%1 は %2 を contain%p{s} %n{ない}") english_format.kif 809-809
(termFormat ChineseLanguage contains "包含") domainEnglishFormat.kif 16918-16918
(termFormat ChineseLanguage contains "容纳") chinese_format.kif 801-801
(termFormat ChineseTraditionalLanguage contains "包含") domainEnglishFormat.kif 16917-16917
(termFormat EnglishLanguage contains "contains") domainEnglishFormat.kif 16916-16916

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 9768-9790
(=>
    (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 9829-9851
(=>
    (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 4652-4656
(=>
    (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 1741-1761
(=>
    (and
        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))		 Mid-level-ontology.kif 4675-4679
(=>
    (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 2811-2830
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))		 Mid-level-ontology.kif 4694-4699
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))		 Mid-level-ontology.kif 4642-4646
(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER Water)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))		 Mid-level-ontology.kif 26723-26731
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 6651-6655
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 1017-1022
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))		 Merge.kif 976-978

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))		 Merge.kif 1024-1028
(=>
    (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 30731-30742
(=>
    (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 2811-2830
(=>
    (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 938-951
(=>
    (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 11344-11351
(=>
    (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 11113-11128
(=>
    (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 5129-5137
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 5233-5241
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))		 Mid-level-ontology.kif 5207-5215
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))		 Mid-level-ontology.kif 5046-5054
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4074-4080
(=>
    (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 3593-3599
(=>
    (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 6418-6432
(=>
    (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 4421-4430
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))		 Mid-level-ontology.kif 10830-10835
(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))		 Mid-level-ontology.kif 4410-4412
(=>
    (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 9939-9952
(=>
    (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 29408-29416
(=>
    (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 2843-2872
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 15325-15331
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F ?T ?E)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?GT)
                (destination ?T ?E)
                (patient ?T ?F)))))		 Cars.kif 1000-1011
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)))))		 Cars.kif 992-998

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)

Show without tree


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