(=>
(and
(instance ?A Region)
(instance ?B Region)
(overlapsSpatially ?A ?B))
(partiallyOverlapping ?A ?B)) |
Geography.kif 670-675 |
If X is an instance of region, Y is an instance of region, and X and Y overlapsSpatially, then X is partiallyOverlapping with Y |
(=>
(and
(disconnected ?A ?B)
(externallyConnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 754-763 |
If X and Y are disconnected and Y and Z are externallyConnected, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(disconnected ?A ?B)
(partiallyOverlapping ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 765-774 |
If X and Y are disconnected and Y is partiallyOverlapping with Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(disconnected ?A ?B)
(tangentialProperPart ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 776-785 |
If X and Y are disconnected and Y is a tangentialProperPart of Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(disconnected ?A ?B)
(nonTangentialProperPart ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 787-796 |
If X and Y are disconnected and Y is a nonTangentialProperPart of Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(externallyConnected ?A ?B)
(disconnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 818-827 |
If X and Y are externallyConnected and Y and Z are disconnected, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(externallyConnected ?A ?B)
(externallyConnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?C ?A)
(equalRegions ?A ?C))) |
Geography.kif 829-839 |
If X and Y are externallyConnected and Y and Z are externallyConnected, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) Z is a nonTangentialProperPart of X (6) X and Z are equalRegions |
(=>
(and
(externallyConnected ?A ?B)
(partiallyOverlapping ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 841-850 |
If X and Y are externallyConnected and Y is partiallyOverlapping with Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(externallyConnected ?A ?B)
(tangentialProperPart ?B ?C))
(or
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 852-860 |
If X and Y are externallyConnected and Y is a tangentialProperPart of Z, then At least one of the following holds: (1) X and Z are externallyConnected (2) X is partiallyOverlapping with Z (3) X is a tangentialProperPart of Z (4) X is a nonTangentialProperPart of Z |
(=>
(and
(externallyConnected ?A ?B)
(nonTangentialProperPart ?B ?C))
(or
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 862-869 |
If X and Y are externallyConnected and Y is a nonTangentialProperPart of Z, then At least one of the following holds: (1) X is partiallyOverlapping with Z (2) X is a tangentialProperPart of Z (3) X is a nonTangentialProperPart of Z |
(=>
(and
(partiallyOverlapping ?A ?B)
(disconnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 893-902 |
If X is partiallyOverlapping with Y and Y and Z are disconnected, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(partiallyOverlapping ?A ?B)
(externallyConnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 904-913 |
If X is partiallyOverlapping with Y and Y and Z are externallyConnected, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(partiallyOverlapping ?A ?B)
(tangentialProperPart ?B ?C))
(or
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 915-922 |
If X is partiallyOverlapping with Y and Y is a tangentialProperPart of Z, then At least one of the following holds: (1) X is partiallyOverlapping with Z (2) X is a tangentialProperPart of Z (3) X is a nonTangentialProperPart of Z |
(=>
(and
(partiallyOverlapping ?A ?B)
(nonTangentialProperPart ?B ?C))
(or
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 924-931 |
If X is partiallyOverlapping with Y and Y is a nonTangentialProperPart of Z, then At least one of the following holds: (1) X is partiallyOverlapping with Z (2) X is a tangentialProperPart of Z (3) X is a nonTangentialProperPart of Z |
(=>
(and
(partiallyOverlapping ?A ?B)
(tangentialProperPart ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 933-942 |
If X is partiallyOverlapping with Y and Z is a tangentialProperPart of Y, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(partiallyOverlapping ?A ?B)
(nonTangentialProperPart ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 944-953 |
If X is partiallyOverlapping with Y and Z is a nonTangentialProperPart of Y, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(partiallyOverlapping ?A ?B)
(equalRegions ?B ?C))
(partiallyOverlapping ?A ?C)) |
Geography.kif 955-959 |
If X is partiallyOverlapping with Y and Y and Z are equalRegions, then X is partiallyOverlapping with Z |
(=>
(and
(tangentialProperPart ?A ?B)
(partiallyOverlapping ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 978-987 |
If X is a tangentialProperPart of Y and Y is partiallyOverlapping with Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(tangentialProperPart ?A ?B)
(tangentialProperPart ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?C ?A)
(equalRegions ?A ?C))) |
Geography.kif 1003-1013 |
If X is a tangentialProperPart of Y and Z is a tangentialProperPart of Y, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) Z is a nonTangentialProperPart of X (6) X and Z are equalRegions |
(=>
(and
(tangentialProperPart ?A ?B)
(nonTangentialProperPart ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 1015-1024 |
If X is a tangentialProperPart of Y and Z is a nonTangentialProperPart of Y, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) Z is a tangentialProperPart of X (5) Z is a nonTangentialProperPart of X |
(=>
(and
(nonTangentialProperPart ?A ?B)
(partiallyOverlapping ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 1047-1056 |
If X is a nonTangentialProperPart of Y and Y is partiallyOverlapping with Z, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(nonTangentialProperPart ?A ?B)
(tangentialProperPart ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?A ?C)
(nonTangentialProperPart ?A ?C))) |
Geography.kif 1070-1079 |
If X is a nonTangentialProperPart of Y and Z is a tangentialProperPart of Y, then At least one of the following holds: (1) X and Z are disconnected (2) X and Z are externallyConnected (3) X is partiallyOverlapping with Z (4) X is a tangentialProperPart of Z (5) X is a nonTangentialProperPart of Z |
(=>
(and
(tangentialProperPart ?B ?A)
(disconnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 1089-1098 |
If X is a tangentialProperPart of Y and X and Z are disconnected, then At least one of the following holds: (1) Y and Z are disconnected (2) Y and Z are externallyConnected (3) Y is partiallyOverlapping with Z (4) Z is a tangentialProperPart of Y (5) Z is a nonTangentialProperPart of Y |
(=>
(and
(tangentialProperPart ?B ?A)
(externallyConnected ?B ?C))
(or
(externallyConnected ?A ?C)
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 1100-1108 |
If X is a tangentialProperPart of Y and X and Z are externallyConnected, then At least one of the following holds: (1) Y and Z are externallyConnected (2) Y is partiallyOverlapping with Z (3) Z is a tangentialProperPart of Y (4) Z is a nonTangentialProperPart of Y |
(=>
(and
(tangentialProperPart ?B ?A)
(partiallyOverlapping ?B ?C))
(or
(partiallyOverlapping ?A ?C)
(tangentialProperPart ?C ?A)
(nonTangentialProperPart ?C ?A))) |
Geography.kif 1110-1117 |
If X is a tangentialProperPart of Y and X is partiallyOverlapping with Z, then At least one of the following holds: (1) Y is partiallyOverlapping with Z (2) Z is a tangentialProperPart of Y (3) Z is a nonTangentialProperPart of Y |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
