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


KB Term:  Term intersection
English Word: 

Sigma KEE - meetsSpatially
meetsSpatially

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


(domain meetsSpatially 1 Object) Merge.kif 9793-9793 The number 1 argument of meets spatially is an instance of object
(domain meetsSpatially 2 Object) Merge.kif 9794-9794 The number 2 argument of meets spatially is an instance of object
(relatedInternalConcept meetsSpatially connected) Merge.kif 9795-9795 meets spatially is internally related to connected
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9796-9796 meets spatially is an instance of irreflexive relation
(instance meetsSpatially SymmetricRelation) Merge.kif 9797-9797 meets spatially is an instance of symmetric relation
(instance meetsSpatially BinaryPredicate) Merge.kif 9798-9798 meets spatially is an instance of binary predicate
(disjointRelation meetsSpatially overlapsSpatially) Merge.kif 9799-9799 meets spatially and overlap spatially are disjoint
(documentation meetsSpatially EnglishLanguage "(meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other.") Merge.kif 9801-9803 meets spatially and overlap spatially are disjoint

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


(subrelation grasps meetsSpatially) Merge.kif 11770-11770 grasps is a subrelation of meets spatially
(relatedInternalConcept externallyConnected meetsSpatially) Geography.kif 647-647 externally connected is internally related to meets spatially
(termFormat EnglishLanguage meetsSpatially "meets spatially") domainEnglishFormat.kif 36917-36917 externally connected is internally related to meets spatially
(termFormat ChineseTraditionalLanguage meetsSpatially "空間的符合") domainEnglishFormat.kif 36918-36918 externally connected is internally related to meets spatially
(termFormat ChineseLanguage meetsSpatially "空间的符合") domainEnglishFormat.kif 36919-36919 externally connected is internally related to meets spatially
(format EnglishLanguage meetsSpatially "%1 %n{doesn't} meet%p{s} %2") english_format.kif 368-368 externally connected is internally related to meets spatially

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


(=>
    (and
        (instance ?ISLE Island)
        (instance ?AREA GeographicArea)
        (meetsSpatially ?ISLE ?AREA))
    (not
        (instance ?AREA LandArea)))		 Merge.kif 14522-14528 If X is an instance of island, Y is an instance of geographic area, and X meets Y, then Y is not an instance of land area
(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))		 Merge.kif 18247-18272 If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S
(=>
    (and
        (instance ?B Bubble)
        (not
            (exists (?X ?S)
                (and
                    (attribute ?X ?S)
                    (not
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B ConvexRoundShape))		 Mid-level-ontology.kif 6111-6120 If X is an instance of bubble and there don't exist Y, Z such that Z is an attribute of Y, equal Y, gas, and Y meets X, then convex round shape is an attribute of X
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 7350-7363 If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))		 Anatomy.kif 1730-1751 If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))		 Anatomy.kif 1780-1802 If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))		 Anatomy.kif 1860-1882 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) W meets Y or U meets Y, then V doesn't meet Y and T doesn't meet Y holds during Z
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))		 Anatomy.kif 1884-1906 If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) V meets Y or T meets Y, then W doesn't meet Y and U doesn't meet Y holds during Z
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (meetsSpatially ?A ?B))
    (externallyConnected ?A ?B))		 Geography.kif 651-656 If X is an instance of region, Y is an instance of region, and X meets Y, then X and Y are externallyConnected
(=>
    (meetsSpatially ?AREA1 ?AREA2)
    (not
        (overlapsSpatially ?AREA1 ?AREA2)))		 Geography.kif 2195-2197 If X meets Y, then X and Y doesn't overlapsSpatially
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 2532-2539 If X is an instance of maritime shelf area, Y is an instance of continental shelf, Z is an instance of nation, Y meets Z, and Z is a claimed territory of X, then X and Y overlapsSpatially
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER SaltWaterArea))
    (instance ?INLET SaltWaterArea))		 Geography.kif 6832-6837 If X is an instance of inlet, X meets Y, and Y is an instance of salt water area, then X is an instance of salt water area
(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))		 Geography.kif 6839-6844 If X is an instance of inlet, X meets Y, and Y is an instance of fresh water area, then X is an instance of fresh water area
(=>
    (meetsSpatially ?X ?Y)
    (orientation ?X ?Y Adjacent))		 Geography.kif 7763-7765 If X meets Y, then X is adjacent to Y
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (exists (?MAINTAINING)
            (and
                (instance ?MAINTAINING Maintaining)
                (instrument ?MAINTAINING ?A)
                (experiencer ?MAINTAINING ?OBJ)))))		 MilitaryDevices.kif 1776-1787 If X is an instance of armor and X is a part of Y or X meets Y, then X has the purpose there exists Z such that Z is an instance of maintaining, X is an instrument for Z, and Y experiences Z
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (instrument ?DAMAGING ?A)
                    (experiencer ?DAMAGING ?OBJ))))))		 MilitaryDevices.kif 1789-1801 If X is an instance of armor and X is a part of Y or X meets Y, then X has the purpose there doesn't exist Z such that Z is an instance of damaging, X is an instrument for Z, and Y experiences Z
(=>
    (meetsSpatially ?OBJECT1 ?OBJECT2)
    (orientation ?OBJECT1 ?OBJECT2 Adjacent))		 Transportation.kif 864-866 If X meets Y, then X is adjacent to Y
(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NorthwesternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))		 Weather.kif 1178-1188 If X is an instance of hurricane, X is located at Y, Y is an instance of geographic area, and Y is located at Z or Y meets Z, then equal Z and Northwestern Pacific Ocean or equal Z and north atlantic ocean

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


(=>
    (penetrates ?X ?Y)
    (meetsSpatially ?X ?Y))		 Merge.kif 4330-4332 If X penetrates Y, then X meets Y
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9734-9738 If X is connected to Y, then X meets Y or X and Y overlapsSpatially
(=>
    (and
        (instance ?HOLE1 HoleRegion)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))		 Merge.kif 10165-10173 If X is an instance of hole and Y is a proper part of X, then there exists Z such that X meets Z and Y doesn't meet Z
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))		 Merge.kif 10302-10310 Assuming equal X and the surface of the hole Y, it follows that: if Z and X overlapsSpatially, then there exists W such that W is a superficial part of the host of the hole Y, Y meets W, Z, and W overlapsSpatially
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))		 Merge.kif 10312-10319 Assuming equal X and the surface of the hole Y, it follows that: if Z is a superficial part of the host of the hole Y, Y meets Z, and W and Z overlapsSpatially, then W and X overlapsSpatially
(=>
    (instance ?BANK ShoreArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?BANK ?WATER))))		 Merge.kif 14488-14493 If X is an instance of shore area, then there exists Y such that Y is an instance of water area and X meets Y
(=>
    (instance ?ISLAND Island)
    (not
        (exists (?AREA ?PART1 ?PART2)
            (and
                (instance ?AREA LandArea)
                (part ?PART1 ?ISLAND)
                (part ?PART2 ?AREA)
                (not
                    (part ?ISLAND ?AREA))
                (not
                    (part ?AREA ?ISLAND))
                (meetsSpatially ?PART1 ?PART2)))))		 Merge.kif 14508-14520 If X is an instance of island, then All of the following hold: (1) there don't exist Y, Z (2) W such that Y is an instance of land area (3) Z is a part of X (4) W is a part of Y (5) X is not a part of Y (6) Y is not a part of X (7) Z meets W
(=>
    (instance ?ISLE Island)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?ISLE ?WATER))))		 Merge.kif 14530-14535 If X is an instance of island, then there exists Y such that Y is an instance of water area and X meets Y
(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))		 Merge.kif 16228-16232 If X covers Y and Z is a superficial part of Y, then X meets Z
(=>
    (instance ?B Buttstock)
    (hasPurpose ?B
        (exists (?L ?S ?A ?SH)
            (and
                (instance ?L Longgun)
                (part ?B ?L)
                (instance ?S Shooting)
                (instrument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (part ?SH ?A)
                (instance ?SH Shoulder)
                (holdsDuring
                    (WhenFn ?S)
                    (meetsSpatially ?S ?B))))))		 Mid-level-ontology.kif 1475-1490 If X is an instance of butt stock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of long gun (3) X is a part of Y (4) Z is an instance of shooting (5) Y is an instrument for Z (6) W is an agent of Z (7) W is an instance of human (8) V is a part of W (9) V is an instance of shoulder (10) Z meets X holds during the time of existence of Z
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (meetsSpatially ?E1 ?E2)))		 Mid-level-ontology.kif 1535-1542 If one end of X is Y, one end of X is Z, and equal Y and Z, then Y doesn't meet Z
(=>
    (and
        (physicalEnd ?E ?O)
        (superficialPart ?SP ?O))
    (meetsSpatially ?E ?SP))		 Mid-level-ontology.kif 1544-1548 If one end of X is Y and Z is a superficial part of X, then Y meets Z
(=>
    (and
        (instance ?R Rotating)
        (fulcrum ?R ?F)
        (lever ?R ?L)
        (rotationalAxis ?R ?X))
    (holdsDuring
        (WhenFn ?R)
        (exists (?P)
            (and
                (instance ?P PointInSpace)
                (part ?P ?X)
                (meetsSpatially ?P ?F)
                (meetsSpatially ?P ?L)))))		 Mid-level-ontology.kif 1582-1594 If X is an instance of rotating, Y is the lever of X, lever X and Z, and W is the axis of X, then there exists V such that V is an instance of point in space, V is a part of W, V meets Y, and V meets Z holds during the time of existence of X
(=>
    (fulcrum ?R ?F)
    (exists (?L)
        (and
            (lever ?R ?L)
            (holdsDuring
                (WhenFn ?R)
                (meetsSpatially ?L ?F)))))		 Mid-level-ontology.kif 1596-1602 If X is the lever of Y, then there exists Z such that lever Y, Z, and Z meets X holds during the time of existence of Y
(=>
    (lever ?R ?L)
    (exists (?F)
        (and
            (fulcrum ?R ?F)
            (holdsDuring
                (WhenFn ?R)
                (meetsSpatially ?L ?F)))))		 Mid-level-ontology.kif 1604-1610 If lever X and Y, then there exists Z such that Z is the lever of X and Y meets Z holds during the time of existence of X
(=>
    (instance ?F PictureFrame)
    (hasPurpose ?F
        (exists (?P)
            (and
                (meetsSpatially ?F ?P)
                (or
                    (instance ?P PaintedPicture)
                    (instance ?P Photograph))))))		 Mid-level-ontology.kif 1831-1839 If X is an instance of picture frame, then X has the purpose there exists Y such that X meets Y and Y is an instance of painted picture or Y is an instance of photograph
(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (height ?F
                (MeasureFn ?HF ?U))
            (height ?S1
                (MeasureFn ?H1 ?U))
            (height ?S2
                (MeasureFn ?H2 ?U))
            (greaterThan ?H1
                (MultiplicationFn 2.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))		 Mid-level-ontology.kif 3382-3395 If flat is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the height of X is W T(s) and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than 2.0 and W and U is greater than 2.0 and W
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))		 Mid-level-ontology.kif 3403-3416 If long and thin is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the length of X is W T(s) and the length of Y is V T(s) and the length of Z is U T(s) and V is less than 3.0 and W and U is less than 3.0 and W
(=>
    (instance ?X LandVehicle)
    (hasPurpose ?X
        (exists (?EV ?SURF)
            (and
                (surface ?SURF GeographicArea)
                (instance ?EV Transportation)
                (holdsDuring
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?SURF))))))		 Mid-level-ontology.kif 4099-4108 If X is an instance of land vehicle, then X has the purpose there exist Y, Z such that Z is a surface of geographic area, Y is an instance of transportation, and X meets Z holds during the time of existence of Y
(=>
    (instance ?X WaterVehicle)
    (hasPurpose ?X
        (exists (?EV ?SURF)
            (and
                (instance ?SURF Water)
                (instance ?EV Transportation)
                (holdsDuring
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?SURF))))))		 Mid-level-ontology.kif 4114-4123 If X is an instance of water vehicle, then X has the purpose there exist Y, Z such that Z is an instance of water, Y is an instance of transportation, and X meets Z holds during the time of existence of Y
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))		 Mid-level-ontology.kif 4344-4350 If X is an instance of furniture, then X has the purpose there exists Y such that Y is an instance of floor and X meets Y
(=>
    (instance ?X MurphyBed)
    (exists (?STORAGE)
        (and
            (instance ?STORAGE Compartment)
            (meetsSpatially ?STORAGE ?X)
            (hasPurpose ?STORAGE
                (exists (?K)
                    (and
                        (instance ?K Keeping)
                        (patient ?K ?X)
                        (destination ?K ?STORAGE)
                        (holdsDuring
                            (WhenFn ?K)
                            (attribute ?X Vertical))))))))		 Mid-level-ontology.kif 4539-4553 If X is an instance of pull-down bed, then there exists Y such that Y is an instance of compartment, Y meets X, Y has the purpose there exists Z such that Z is an instance of keeping, X is a patient of Z, Z ends up at Y, and vertical to is an attribute of X holds during the time of existence of Z
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))		 Mid-level-ontology.kif 4724-4741 If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V
(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))		 Mid-level-ontology.kif 6167-6175 If X wears Y and Y is an instance of belt, then there exists Z such that Z is an instance of clothing, X wears Z, and Y meets Z
(=>
    (and
        (wears ?P ?C)
        (instance ?C Collar))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (meetsSpatially ?C ?N))))		 Mid-level-ontology.kif 6215-6223 If X wears Y and Y is an instance of collar, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y meets Z

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 Europe meets asia
(meetsSpatially BassasDaIndia IndianOcean) CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
(meetsSpatially BouvetIsland SouthAtlanticOcean) CountriesAndRegions.kif 138-138 Bouvet island meets south atlantic ocean
(meetsSpatially EuropaIsland IndianOcean) CountriesAndRegions.kif 140-140 Europa island meets indian ocean
(meetsSpatially GloriosoIslands IndianOcean) CountriesAndRegions.kif 142-142 Glorioso islands meets indian ocean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean) CountriesAndRegions.kif 144-144 Heard island and mc donald islands meets indian ocean
(meetsSpatially JuanDeNovaIsland IndianOcean) CountriesAndRegions.kif 146-146 Juan de nova island meets indian ocean
(meetsSpatially Mayotte IndianOcean) CountriesAndRegions.kif 148-148 Mayotte meets indian ocean
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 Tromelin island meets indian ocean
(meetsSpatially Canada UnitedStates) CountriesAndRegions.kif 410-410 Canada meets united states
(meetsSpatially SaintPaulMinnesota MinneapolisMinnesota) CountriesAndRegions.kif 787-787 Saint paul minnesota meets minneapolis minnesota
(meetsSpatially Alabama Mississippi) CountriesAndRegions.kif 866-866 Alabama meets mississippi
(meetsSpatially Alaska Canada) CountriesAndRegions.kif 880-880 Alaska meets canada
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
(meetsSpatially Alaska ArcticOcean) CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
(meetsSpatially Arizona Nevada) CountriesAndRegions.kif 884-884 Arizona meets Nevada
(meetsSpatially Arizona California) CountriesAndRegions.kif 885-885 Arizona meets california
(meetsSpatially Arizona Mexico) CountriesAndRegions.kif 886-886 Arizona meets mexico
(meetsSpatially Arkansas Oklahoma) CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
(meetsSpatially Arkansas Texas) CountriesAndRegions.kif 891-891 Arkansas meets texas
(meetsSpatially Arkansas Louisiana) CountriesAndRegions.kif 892-892 Arkansas meets louisiana
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 California meets pacific ocean
(meetsSpatially California Mexico) CountriesAndRegions.kif 904-904 California meets mexico
(meetsSpatially California NewMexico) CountriesAndRegions.kif 905-905 California meets new mexico
(meetsSpatially California Oregon) CountriesAndRegions.kif 906-906 California meets Oregon

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