(=>
(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
(disconnected ?A ?B)
(tangentialProperPart ?C ?B))
(disconnected ?A ?C)) |
Geography.kif 798-802 |
If X and Y are disconnected and Z is a tangentialProperPart of Y, then X and Z are disconnected |
(=>
(and
(disconnected ?A ?B)
(nonTangentialProperPart ?C ?B))
(disconnected ?A ?C)) |
Geography.kif 804-808 |
If X and Y are disconnected and Z is a nonTangentialProperPart of Y, then X and Z are disconnected |
(=>
(and
(disconnected ?A ?B)
(equalRegions ?B ?C))
(disconnected ?A ?C)) |
Geography.kif 810-814 |
If X and Y are disconnected and Y and Z are equalRegions, then X and Z are disconnected |
(=>
(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 ?C ?B))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C))) |
Geography.kif 871-877 |
If X and Y are externallyConnected and Z is a tangentialProperPart of Y, then X and Z are disconnected or X and Z are externallyConnected |
(=>
(and
(externallyConnected ?A ?B)
(nonTangentialProperPart ?C ?B))
(disconnected ?A ?C)) |
Geography.kif 879-883 |
If X and Y are externallyConnected and Z is a nonTangentialProperPart of Y, then X and Z are disconnected |
(=>
(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 ?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
(tangentialProperPart ?A ?B)
(disconnected ?B ?C))
(disconnected ?A ?C)) |
Geography.kif 963-967 |
If X is a tangentialProperPart of Y and Y and Z are disconnected, then X and Z are disconnected |
(=>
(and
(tangentialProperPart ?A ?B)
(externallyConnected ?B ?C))
(or
(disconnected ?A ?C)
(externallyConnected ?A ?C))) |
Geography.kif 970-976 |
If X is a tangentialProperPart of Y and Y and Z are externallyConnected, then X and Z are disconnected or X and Z are externallyConnected |
(=>
(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)
(disconnected ?B ?C))
(disconnected ?A ?C)) |
Geography.kif 1034-1038 |
If X is a nonTangentialProperPart of Y and Y and Z are disconnected, then X and Z are disconnected |
(=>
(and
(nonTangentialProperPart ?A ?B)
(externallyConnected ?B ?C))
(disconnected ?A ?C)) |
Geography.kif 1041-1045 |
If X is a nonTangentialProperPart of Y and Y and Z are externallyConnected, then X and Z are disconnected |
(=>
(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 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
