(=>
(equalRegions ?A ?B)
(equal ?A ?B)) |
Geography.kif 688-690 |
If X and Y are equalRegions, then equal X and Y |
(=>
(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)
(equalRegions ?B ?C))
(externallyConnected ?A ?C)) |
Geography.kif 885-889 |
If X and Y are externallyConnected and Y and Z are equalRegions, then X and Z are externallyConnected |
(=>
(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)
(equalRegions ?B ?C))
(tangentialProperPart ?A ?C)) |
Geography.kif 1026-1030 |
If X is a tangentialProperPart of Y and Y and Z are equalRegions, then X is a tangentialProperPart of Z |
(=>
(and
(nonTangentialProperPart ?A ?B)
(equalRegions ?B ?C))
(nonTangentialProperPart ?A ?C)) |
Geography.kif 1081-1085 |
If X is a nonTangentialProperPart of Y and Y and Z are equalRegions, then X is a nonTangentialProperPart of Z |
(=>
(and
(tangentialProperPart ?B ?A)
(equalRegions ?B ?C))
(tangentialProperPart ?C ?A)) |
Geography.kif 1152-1156 |
If X is a tangentialProperPart of Y and X and Z are equalRegions, then Z is a tangentialProperPart of Y |
(=>
(and
(nonTangentialProperPart ?B ?A)
(equalRegions ?B ?C))
(nonTangentialProperPart ?C ?A)) |
Geography.kif 1222-1226 |
If X is a nonTangentialProperPart of Y and X and Z are equalRegions, then Z is a nonTangentialProperPart of Y |
(=>
(and
(equalRegions ?A ?B)
(disconnected ?B ?C))
(disconnected ?A ?C)) |
Geography.kif 1230-1234 |
If X and Y are equalRegions and Y and Z are disconnected, then X and Z are disconnected |
(=>
(and
(equalRegions ?A ?B)
(externallyConnected ?B ?C))
(externallyConnected ?A ?C)) |
Geography.kif 1236-1240 |
If X and Y are equalRegions and Y and Z are externallyConnected, then X and Z are externallyConnected |
(=>
(and
(equalRegions ?A ?B)
(partiallyOverlapping ?B ?C))
(partiallyOverlapping ?A ?C)) |
Geography.kif 1242-1246 |
If X and Y are equalRegions and Y is partiallyOverlapping with Z, then X is partiallyOverlapping with Z |
(=>
(and
(equalRegions ?A ?B)
(tangentialProperPart ?B ?C))
(tangentialProperPart ?A ?C)) |
Geography.kif 1248-1252 |
If X and Y are equalRegions and Y is a tangentialProperPart of Z, then X is a tangentialProperPart of Z |
(=>
(and
(equalRegions ?A ?B)
(nonTangentialProperPart ?B ?C))
(nonTangentialProperPart ?A ?C)) |
Geography.kif 1254-1258 |
If X and Y are equalRegions and Y is a nonTangentialProperPart of Z, then X is a nonTangentialProperPart of Z |
(=>
(and
(equalRegions ?A ?B)
(tangentialProperPart ?C ?B))
(tangentialProperPart ?C ?A)) |
Geography.kif 1260-1264 |
If X and Y are equalRegions and Z is a tangentialProperPart of Y, then Z is a tangentialProperPart of X |
(=>
(and
(equalRegions ?A ?B)
(nonTangentialProperPart ?C ?B))
(nonTangentialProperPart ?C ?A)) |
Geography.kif 1266-1270 |
If X and Y are equalRegions and Z is a nonTangentialProperPart of Y, then Z is a nonTangentialProperPart of X |
(=>
(and
(equalRegions ?A ?B)
(equalRegions ?B ?C))
(equalRegions ?A ?C)) |
Geography.kif 1272-1276 |
If X and Y are equalRegions and Y and Z are equalRegions, then X and Z are equalRegions |
