(=>
(equal ?F
(FrontFn ?O))
(not
(overlapsSpatially ?F
(BackFn ?O)))) |
Merge.kif 907-912 |
If equal X and the front of Y, then X and the back of Y doesn't overlapsSpatially |
(=>
(equal ?B
(BackFn ?O))
(not
(overlapsSpatially ?B
(FrontFn ?O)))) |
Merge.kif 914-919 |
If equal X and the back of Y, then X and the front of Y doesn't overlapsSpatially |
(=>
(and
(instance ?OBJ1 Object)
(partlyLocated ?OBJ1 ?OBJ2))
(overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4161-4165 |
If X is an instance of object and X is partly located in Y, then X and Y overlapsSpatially |
(=>
(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
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2))
(overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9812-9816 |
If X is a part of Y and X is a part of Z, then Y and Z overlapsSpatially |
(=>
(and
(member ?OBJ1 ?COLL)
(member ?OBJ2 ?COLL)
(not
(equal ?OBJ1 ?OBJ2)))
(not
(overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9818-9824 |
If X is a member of Y, Z is a member of Y, and equal X and Z, then X and Z doesn't overlapsSpatially |
(=>
(and
(instance ?REL CaseRole)
(instance ?OBJ Object)
(?REL ?PROCESS ?OBJ))
(exists (?TIME)
(overlapsSpatially
(WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9826-9832 |
If X is an instance of case role, Y is an instance of object, and X Z and Y, then there exists W such that the place where Z was at W and Y overlapsSpatially |
(=>
(overlapsPartially ?OBJ1 ?OBJ2)
(overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9868-9870 |
If X partially overlaps with Y, then X and Y overlapsSpatially |
(=>
(interiorPart ?OBJ1 ?OBJ2)
(forall (?PART)
(=>
(superficialPart ?PART ?OBJ2)
(not
(overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9926-9932 |
If X is a interior part of Y, then For all Object Z: if Z is a superficial part of Y, then X and Z doesn't overlapsSpatially |
(=>
(hole ?HOLE ?OBJ)
(not
(overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 10107-10110 |
If X is a hole in Y, then X and Y doesn't overlapsSpatially |
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2))) |
Merge.kif 10130-10136 |
If X is a hole in Y and Y is a part of Z, then X and Z overlapsSpatially or X is a hole in Z |
(=>
(and
(hole ?HOLE1 ?OBJ1)
(hole ?HOLE2 ?OBJ2)
(overlapsSpatially ?HOLE1 ?HOLE2))
(overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 10138-10143 |
If X is a hole in Y, Z is a hole in W, and X and Z overlapsSpatially, then Y and W overlapsSpatially |
(=>
(and
(fills ?OBJ1 ?HOLE)
(attribute ?OBJ2 Fillable))
(not
(overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10259-10264 |
If X fills Y and fillable is an attribute of Z, then X and Z doesn't overlapsSpatially |
(=>
(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 |
(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(not
(equal ?E1 ?E2)))
(not
(overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1526-1533 |
If one end of X is Y, one end of X is Z, and equal Y and Z, then Y and Z doesn't overlapsSpatially |
(=>
(instance ?SKIN Skin)
(exists (?SURFACE ?ANIMAL)
(and
(surface ?SURFACE ?ANIMAL)
(part ?SKIN ?ANIMAL)
(instance ?ANIMAL Animal)
(overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 12469-12476 |
If X is an instance of skin, then there exist Y, Z such that Y is a surface of Z, X is a part of Z, Z is an instance of animal, X, and Y overlapsSpatially |
(=>
(and
(instance ?TORSO Torso)
(instance ?LIMB Limb))
(not
(overlapsSpatially ?TORSO ?LIMB))) |
Mid-level-ontology.kif 14427-14432 |
If X is an instance of torso and Y is an instance of limb, then X and Y doesn't overlapsSpatially |
(=>
(coilCount ?WC ?N)
(exists (?C ?C2F)
(and
(instance ?C CollectionOfObjects)
(memberCount ?C ?N)
(forall (?M)
(=>
(member ?M ?C)
(and
(attribute ?M ?C2F)
(instance ?C2F ClosedTwoDimensionalFigure)
(part ?M ?WC)
(not
(exists (?M2)
(and
(overlapsSpatially ?M2 ?M)
(member ?M2 ?C)))))))))) |
Cars.kif 3006-3023 |
If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION))
(not
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicSouthFn ?REGION)))) |
Geography.kif 1714-1720 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X and geographic South X doesn't overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicEastFn ?REGION))) |
Geography.kif 1722-1727 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic North X and geographic east X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicWestFn ?REGION))) |
Geography.kif 1729-1734 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic North X and geographic west X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicCenterFn ?REGION))) |
Geography.kif 1736-1741 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic North X and the geographic center of X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicSouthFn ?REGION)
(GeographicEastFn ?REGION))) |
Geography.kif 1760-1765 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic South X and geographic east X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicSouthFn ?REGION)
(GeographicWestFn ?REGION))) |
Geography.kif 1767-1772 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic South X and geographic west X overlapsSpatially |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
