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 948-948 disjointRelation contains and part
(documentation contains ChineseLanguage "这是两个可分离物体的空间容量关系。 用于不可分离的物体（如汽 车和它的座位)时，应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间（即一个 Hole)，而它 至少由 ?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 Hole) which is at least partially filled by ?OBJ2.") Merge.kif 952-956
(domain contains 1 SelfConnectedObject) Merge.kif 949-949 domain contains, 1 and SelfConnectedObject
(domain contains 2 Object) Merge.kif 950-950 domain contains, 2 and Object
(instance contains AsymmetricRelation) Merge.kif 946-946 instance contains and AsymmetricRelation
(instance contains PartialValuedRelation) Merge.kif 947-947 instance contains and PartialValuedRelation
(instance contains SpatialRelation) Merge.kif 945-945 instance contains and SpatialRelation

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 811-811
(format EnglishLanguage contains "%1 は %2 を contain%p{s} %n{ない}") english_format.kif 812-812
(termFormat ChineseLanguage contains "包含") domainEnglishFormat.kif 16861-16861 termFormat ChineseLanguage, contains and "包含"
(termFormat ChineseLanguage contains "容纳") chinese_format.kif 801-801 termFormat ChineseLanguage, contains and "容纳"
(termFormat ChineseTraditionalLanguage contains "包含") domainEnglishFormat.kif 16860-16860 termFormat ChineseTraditionalLanguage, contains and "包含"
(termFormat EnglishLanguage contains "contains") domainEnglishFormat.kif 16859-16859 termFormat EnglishLanguage, contains and "contains"

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


(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 958-963 contains SelfConnectedObject and Object Hole hole Hole and SelfConnectedObject properlyFills Object and Hole
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 313-319
(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (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 861-875
(=>
    (and
        (instance ?BOTTLE Bottle)
        (contains ?BOTTLE ?STUFF))
    (attribute ?STUFF Liquid))		 Mid-level-ontology.kif 5015-5019
(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP)
        (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 1736-1756
(=>
    (and
        (instance ?CUP DrinkingCup)
        (contains ?CUP ?STUFF))
    (instance ?STUFF Beverage))		 Mid-level-ontology.kif 5035-5039
(=>
    (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)
                (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 Water))		 Mid-level-ontology.kif 5054-5059
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))		 Mid-level-ontology.kif 5005-5009
(=>
    (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 24881-24889
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 6323-6327
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))		 Merge.kif 941-943

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


(=>
    (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)
                (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 934-947
(=>
    (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 10490-10497
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))		 Mid-level-ontology.kif 5454-5462
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 5546-5554
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))		 Mid-level-ontology.kif 5523-5531
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))		 Mid-level-ontology.kif 5382-5390
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4586-4592
(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A)
            (and
                (instance ?A Air)
                (contains ?AI ?A)))))		 Cars.kif 955-961
(=>
    (instance ?B Balloon)
    (hasPurpose ?B
        (exists (?G)
            (and
                (attribute ?G Gas)
                (contains ?B ?G)))))		 Cars.kif 3569-3575
(=>
    (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 6143-6157
(=>
    (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 1514-1524
(=>
    (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 4940-4949
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))		 Mid-level-ontology.kif 9407-9412
(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))		 Mid-level-ontology.kif 4921-4923
(=>
    (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 27567-27575
(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H)
                        (and
                            (instance ?H Hole)
                            (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 2827-2856
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?Automobile)))))		 Mid-level-ontology.kif 13154-13160
(=>
    (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 990-1001
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)))))		 Cars.kif 982-988
(=>
    (instance ?H Holster)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Pistol)
                (contains ?H ?P)))))		 Mid-level-ontology.kif 2064-2070
(=>
    (instance ?HTB HandToolBox)
    (hasPurpose ?HTB
        (exists (?HT)
            (and
                (instance ?HT HandTool)
                (contains ?HTB ?HT)))))		 Cars.kif 4805-4811
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))		 Cars.kif 3297-3303
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))		 Mid-level-ontology.kif 6503-6509
(=>
    (instance ?TUB BathTub)
    (hasPurpose ?TUB
        (exists (?WATER)
            (and
                (instance ?WATER Water)
                (contains ?TUB ?WATER)))))		 Mid-level-ontology.kif 2511-2517

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners