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


KB Term:  Term intersection
English Word: 

  successorAttribute

 Sigma KEE - contains
contains

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


(instance contains SpatialRelation) Merge.kif 1088-1088 contains is an instance of spatial relation
(instance contains PartialValuedRelation) Merge.kif 1089-1089 contains is an instance of partial valued relation
(instance contains BinaryPredicate) Merge.kif 1090-1090 contains is an instance of binary predicate
(disjointRelation contains part) Merge.kif 1091-1091 contains and part are disjoint
(domain contains 1 SelfConnectedObject) Merge.kif 1092-1092 The number 1 argument of contains is an instance of self connected object
(domain contains 2 Object) Merge.kif 1093-1093 The number 2 argument of contains is an instance of object
(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 1095-1099 The number 2 argument of contains is an instance of object

appearance as argument number 2
-------------------------


(relatedInternalConcept tangentialProperPart contains) Geography.kif 701-701 tangential proper part is internally related to contains
(termFormat EnglishLanguage contains "contains") domainEnglishFormat.kif 16932-16932 tangential proper part is internally related to contains
(termFormat ChineseTraditionalLanguage contains "包含") domainEnglishFormat.kif 16933-16933 tangential proper part is internally related to contains
(termFormat ChineseLanguage contains "包含") domainEnglishFormat.kif 16934-16934 tangential proper part is internally related to contains
(format EnglishLanguage contains "%1 %n{doesn't} contain%p{s} %2") english_format.kif 808-808 tangential proper part is internally related to contains
(format JapaneseLanguage contains "%1 は %2 を contain%p{s} %n{ない}") english_format.kif 809-809 tangential proper part is internally related to contains

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


(=>
    (contains ?SMALL ?BIG)
    (partlyLocated ?SMALL ?BIG))		 Merge.kif 996-998 If X contains Y, then X is partly located in Y
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 1101-1106 If X contains Y, then there exists Z such that Z is a hole in X and Y properly fills Z
(=>
    (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 1169-1182 If X is an instance of shot shell, Y is an instance of shotgun slug, and X contains Y, then there doesn't exist Z such that Z is an instance of shotgun slug or Z is an instance of firearm shot, equal Y, Z, and X contains Z
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))		 Mid-level-ontology.kif 5348-5353 If X is an instance of swimming pool, X contains Y, and Y is an instance of fluid, then Y is an instance of freshwater
(=>
    (and
        (measure ?OBJ1 ?MEAS)
        (contains ?OBJ2 ?OBJ1))
    (capacity ?OBJ2 ?MEAS))		 Mid-level-ontology.kif 7779-7783 If the measure of X is Y and Z contains X, then Y is a capacity of Z
(=>
    (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 11284-11306 If All of the following hold: (1) X is an instance of antacid (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (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 11345-11367 If All of the following hold: (1) X is an instance of PPI (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of stomach (6) W is a part of Z (7) W contains V and V is an instance of fluid holds during immediately before the time of existence of Y (8) W contains U and U is an instance of fluid holds during immediately after the time of existence of Y (9) pH measure V and T (10) pH measure U and S, then S is greater than T
(=>
    (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 29423-29431 If All of the following hold: (1) X is an instance of heated pool (2) X contains Y (3) Y is an instance of freshwater (4) X is a part of Z (5) Z is an instance of water heater (6) device on is an attribute of Z, then warm is an attribute of Y
(=>
    (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 808-822 If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V
(=>
    (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 1628-1648 If X is an instance of cavitating, Y is an instance of pump, device on is an attribute of Y, liquid is an attribute of Z, and Y contains Z, then there exist W, V such that W is a part of Y, W has the purpose liquid is an attribute of V, V meets W, there doesn't exist U such that liquid is an attribute of U, and W meets U holds during the time of existence of X
(=>
    (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 2649-2668 If All of the following hold: (1) X is an instance of internal combustion engine (2) Y is an instance of combustion chamber (3) Y is a part of X (4) Z is an instance of fuel (5) W is an instance of unit of volume (6) Y contains Z and the measure of Z is V W(s) and engine flooded is an attribute of X holds during U, then Y has the purpose there don't exist T and S such that T is an instance of fuel and Y contains T and the measure of T is S W(s) and S is greater than or equal to V
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (contains ?B ?A)
        (orientation ?A ?B Inside)
        (tangentialProperPart ?A ?B))
    (exists (?X ?Y)
        (and
            (instance ?X PointInSpace)
            (superficialPart ?X ?B)
            (instance ?Y PointInSpace)
            (superficialPart ?Y ?A)
            (meetsSpatially ?X ?Y))))		 Geography.kif 705-718 If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a tangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z meets W
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (contains ?B ?A)
        (orientation ?A ?B Inside)
        (nonTangentialProperPart ?A ?B))
    (exists (?X ?Y)
        (and
            (instance ?X PointInSpace)
            (superficialPart ?X ?B)
            (instance ?Y PointInSpace)
            (superficialPart ?Y ?A)
            (not
                (meetsSpatially ?X ?Y)))))		 Geography.kif 732-746 If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a nonTangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z doesn't meet W
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322 If X is the image on Y, Z is an instance of the set of copies on W of Y, and V contains Z, then the statement X is a part of the front of V has the modal force of likely
(=>
    (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 2875-2890 If All of the following hold: (1) X is an instance of ship container (2) Y Z(s) is a capacity of X (3) Y is an instance of unit of mass (4) X contains W (5) V Z(s) is a weight of W (6) V is less than Y, then the statement there doesn't exist U such that U is an instance of damaging and X is a patient of U has the modal force of likely

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))		 Merge.kif 1108-1112 If X is a hole in Y and Z properly fills X, then Y contains Z
(=>
    (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 11700-11707 If X is an instance of inserting, Y is a patient of X, and X ends up at Z, then Z doesn't contain Y holds during the beginning of the time of existence of X and Z contains Y holds during the end of the time of existence of X
(=>
    (instance ?S ShotShell)
    (hasPurpose ?S
        (exists (?X)
            (and
                (contains ?S ?X)
                (properPart ?X ?S)
                (or
                    (instance ?X FirearmShot)
                    (instance ?X ShotgunSlug))))))		 Mid-level-ontology.kif 1118-1127 If X is an instance of shot shell, then X has the purpose there exists Y such that X contains Y, Y is a proper part of X, and Y is an instance of firearm shot or Y is an instance of shotgun slug
(=>
    (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 1169-1182 If X is an instance of shot shell, Y is an instance of shotgun slug, and X contains Y, then there doesn't exist Z such that Z is an instance of shotgun slug or Z is an instance of firearm shot, equal Y, Z, and X contains Z
(=>
    (instance ?C GunChamber)
    (hasPurpose ?C
        (exists (?B)
            (and
                (instance ?B BulletCartridge)
                (contains ?C ?B)))))		 Mid-level-ontology.kif 1364-1370 If X is an instance of gun chamber, then X has the purpose there exists Y such that Y is an instance of bullet cartridge and X contains Y
(=>
    (instance ?GUN RevolverGun)
    (exists (?CY ?COLL ?C ?BC)
        (and
            (part ?CY ?GUN)
            (instance ?CY GunCylinder)
            (part ?COLL ?CY)
            (instance ?COLL CollectionOfObjects)
            (member ?C ?COLL)
            (instance ?C GunChamber)
            (contains ?C ?BC)
            (instance ?BC BulletCartridge)
            (not
                (exists (?BC2)
                    (and
                        (instance ?BC2 BulletCartridge)
                        (not
                            (equal ?BC ?BC2))
                        (contains ?C ?BC2)))))))		 Mid-level-ontology.kif 2110-2128 If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U
(=>
    (instance ?H Holster)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Pistol)
                (contains ?H ?P)))))		 Mid-level-ontology.kif 2190-2196 If X is an instance of holster, then X has the purpose there exists Y such that Y is an instance of pistol and X contains Y
(=>
    (instance ?TUB BathTub)
    (hasPurpose ?TUB
        (exists (?WATER)
            (and
                (instance ?WATER Water)
                (contains ?TUB ?WATER)))))		 Mid-level-ontology.kif 2653-2659 If X is an instance of tub, then X has the purpose there exists Y such that Y is an instance of water and X contains Y
(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4760-4766 If waterbed is an attribute of X, then there exist Y, Z such that Y is a component of X, Y contains Z, and Z is an instance of water
(=>
    (instance ?CONTAINER Container)
    (hasPurpose ?CONTAINER
        (exists (?OBJ)
            (contains ?CONTAINER ?OBJ))))		 Mid-level-ontology.kif 5061-5063 If X is an instance of container, then X has the purpose there exists Y such that X contains Y
(=>
    (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 5072-5081 If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y
(=>
    (instance ?TANK FluidContainer)
    (hasPurpose ?TANK
        (exists (?STUFF)
            (and
                (contains ?TANK ?STUFF)
                (attribute ?STUFF Fluid)))))		 Mid-level-ontology.kif 5279-5285 If X is an instance of fluid container, then X has the purpose there exists Y such that X contains Y and fluid is an attribute of Y
(=>
    (instance ?BOTTLE Bottle)
    (hasPurpose ?BOTTLE
        (exists (?STUFF)
            (and
                (contains ?BOTTLE ?STUFF)
                (attribute ?STUFF Liquid)))))		 Mid-level-ontology.kif 5291-5297 If X is an instance of bottle, then X has the purpose there exists Y such that X contains Y and liquid is an attribute of Y
(=>
    (instance ?CUP DrinkingCup)
    (hasPurpose ?CUP
        (exists (?STUFF)
            (and
                (contains ?CUP ?STUFF)
                (instance ?STUFF Beverage)))))		 Mid-level-ontology.kif 5316-5322 If X is an instance of drinking cup, then X has the purpose there exists Y such that X contains Y and Y is an instance of beverage
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))		 Mid-level-ontology.kif 6181-6189 If X wears Y and Y is an instance of tie, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y contains Z
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))		 Mid-level-ontology.kif 6264-6272 If X wears Y and Y is an instance of trousers, then there exists Z such that Z is an instance of leg, Z is a part of X, and Y contains Z
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))		 Mid-level-ontology.kif 6342-6350 If X wears Y and Y is an instance of sock, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y contains Z
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sleeve))
    (exists (?A)
        (and
            (instance ?A Arm)
            (part ?A ?P)
            (contains ?S ?A))))		 Mid-level-ontology.kif 6368-6376 If X wears Y and Y is an instance of sleeve, then there exists Z such that Z is an instance of arm, Z is a part of X, and Y contains Z
(=>
    (instance ?NS NasalSeptum)
    (exists (?NC)
        (and
            (instance ?NC NasalCavity)
            (contains ?NC ?NS))))		 Mid-level-ontology.kif 7222-7227 If X is an instance of septum, then there exists Y such that Y is an instance of nasal cavity and Y contains X
(=>
    (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 7546-7560 If X is an instance of bloating, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y experiences X (3) V is an instance of gas (4) W is a part of Y (5) W is an instance of intestine (6) W contains V or Z is a part of Y (7) Z is an instance of stomach (8) Z contains V
(=>
    (instance ?M MobileStructure)
    (hasPurpose ?M
        (exists (?H)
            (and
                (instance ?H Human)
                (contains ?M ?H)))))		 Mid-level-ontology.kif 7902-7908 If X is an instance of mobile structure, then X has the purpose there exists Y such that Y is an instance of human and X contains Y
(=>
    (instance ?P PortableRestroom)
    (hasPurpose ?P
        (exists (?T ?M)
            (and
                (instance ?T Toilet)
                (contains ?P ?T)
                (instance ?M Translocation)
                (patient ?M ?P)))))		 Mid-level-ontology.kif 7939-7947 If X is an instance of portable restroom, then X has the purpose there exist Y, Z such that Y is an instance of toilet, X contains Y, Z is an instance of translocation, and X is a patient of Z
(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))		 Mid-level-ontology.kif 8162-8168 If X is an instance of tomb, then X has the purpose there exists Y such that dead is an attribute of Y and X contains Y
(=>
    (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 11455-11468 If X is an instance of diuretic, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of human (3) Y is an instance of removing (4) Z is an instance of liquid (5) W experiences Y (6) Z moves during Y (7) Z originates at W (8) W doesn't contain V (9) Y ends up at V
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))		 Mid-level-ontology.kif 12441-12446 If X is an instance of spinal cord, then there exists Y such that Y is an instance of spinal column and Y contains X

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners