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 1540-1540
(documentation contains ChineseLanguage "这是两个可分离物体的空间容量关系。 用于不可分离的物体(如汽 车和它的座位)时,应该用 part 这关系。(contains ?OBJ1 ?OBJ2) 的意思是 SelfConnectedObject ?OBJ1 有一个空间(即一个 Hole),而它 至少由 ?OBJ2 填满了一部分。。") Merge.kif 1550-1552
(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 1544-1548
(documentation contains JapaneseLanguage "2つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。 (contains ?OBJ1 ?OBJ2) とは、SelfConnectedObject ?OBJ1 にスペース (すなわち Hole) があることを意味し、少なくとも部分的に?OBJ2で満たされている)。") Merge.kif 1554-1557
(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.") Merge.kif 1559-1563
(domain contains 1 SelfConnectedObject) Merge.kif 1541-1541
(domain contains 2 Object) Merge.kif 1542-1542
(instance contains AsymmetricRelation) Merge.kif 1538-1538
(instance contains PartialValuedRelation) Merge.kif 1539-1539
(instance contains SpatialRelation) Merge.kif 1537-1537

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

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


(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 1565-1570
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))
Music.kif 319-325
(=>
    (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 5018-5022
(=>
    (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 5038-5042
(=>
    (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 2792-2811
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 5057-5062
(=>
    (and
        (instance ?TANK FluidContainer)
        (contains ?TANK ?STUFF))
    (attribute ?STUFF Fluid))
Mid-level-ontology.kif 5008-5012
(=>
    (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 24977-24985
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))
Mid-level-ontology.kif 6326-6330
(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))
Merge.kif 1533-1535

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 2792-2811
(=>
    (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 15568-15575
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))
Mid-level-ontology.kif 5457-5465
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))
Mid-level-ontology.kif 5549-5557
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 5526-5534
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))
Mid-level-ontology.kif 5385-5393
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))
Mid-level-ontology.kif 4589-4595
(=>
    (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 3563-3569
(=>
    (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 6146-6160
(=>
    (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 4943-4952
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))
Mid-level-ontology.kif 9410-9415
(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))
Mid-level-ontology.kif 4924-4926
(=>
    (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 27663-27671
(=>
    (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 2824-2853
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?Automobile)))))
Mid-level-ontology.kif 13163-13169
(=>
    (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 2067-2073
(=>
    (instance ?HTB HandToolBox)
    (hasPurpose ?HTB
        (exists (?HT)
            (and
                (instance ?HT HandTool)
                (contains ?HTB ?HT)))))
Cars.kif 4797-4803
(=>
    (instance ?OP OilPan)
    (hasPurpose ?OP
        (exists (?O)
            (and
                (instance ?O Oil)
                (contains ?OP ?O)))))
Cars.kif 3291-3297
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))
Mid-level-ontology.kif 6506-6512
(=>
    (instance ?TUB BathTub)
    (hasPurpose ?TUB
        (exists (?WATER)
            (and
                (instance ?WATER Water)
                (contains ?TUB ?WATER)))))
Mid-level-ontology.kif 2514-2520

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