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


KB Term:  Term intersection
English Word: 

Sigma KEE - tangentialProperPart
tangentialProperPart

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


(instance tangentialProperPart RCC8Relation) Geography.kif 692-692 tangential proper part is an instance of region connection calculus 8
(instance tangentialProperPart AsymmetricRelation) Geography.kif 693-693 tangential proper part is an instance of asymmetric relation
(documentation tangentialProperPart EnglishLanguage "tangentialProperPart is a RCC8Relation. (tangentialProperPart ?A ?B) means that ?A is a tangentialProperPart of ?B, meaning ?A is inside ?B and touches its boundary.To invoke the inverse, TPPi, one would swap the order of the two arguments specified.That is (tangentialProperPart ?B ?A).") Geography.kif 694-697 tangential proper part is an instance of asymmetric relation
(domain tangentialProperPart 1 Region) Geography.kif 699-699 The number 1 argument of tangential proper part is an instance of region
(domain tangentialProperPart 2 Region) Geography.kif 700-700 The number 2 argument of tangential proper part is an instance of region
(relatedInternalConcept tangentialProperPart contains) Geography.kif 701-701 tangential proper part is internally related to contains

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


(termFormat EnglishLanguage tangentialProperPart "tangential proper part") Geography.kif 698-698
(format EnglishLanguage tangentialProperPart "%1 is a tangentialProperPart of %2") Geography.kif 702-702
(names "TPP" tangentialProperPart) Geography.kif 703-703 tangential proper part has name "TPP"

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


(=>
    (and
        (instance ?R GeographicArea)
        (tangentialProperPart ?R KlamathMountains)
        (tangentialProperPart ?R CaliforniaCoastRanges)
        (instance ?N PointInSpace)
        (located ?N ?R)
        (instance ?S PointInSpace)
        (located ?S ?R)
        (orientation ?N ?S North)
        (not
            (exists (?N1 ?S1)
                (and
                    (instance ?N1 PointInSpace)
                    (located ?N1 ?R)
                    (orientation ?N1 ?N North)
                    (instance ?S1 PointInSpace)
                    (located ?S1 ?R)
                    (orientation ?S1 ?S South))))
        (distance ?N ?S
            (MeasureFn ?X Mile)))
    (approximateValue ?X 80))		 Geography.kif 562-583 If All of the following hold: (1) X is an instance of geographic area (2) X is a tangentialProperPart of Klamath Mountains (3) X is a tangentialProperPart of California Coast Ranges (4) Y is an instance of point in space (5) Y is located at X (6) Z is an instance of point in space (7) Z is located at X (8) Y is north of to Z (9) All of the following hold: (1) there don't exist W (2) V such that W is an instance of point in space (3) W is located at X (4) W is north of to Y (5) V is an instance of point in space (6) V is located at X (7) V is south of to Z (10) the distance between Y and Z is U mile(s), then the approximate value of U is 80
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (contains ?B ?A)
        (orientation ?A ?B Inside)
        (tangentialProperPart ?A ?B))
    (exists (?X ?Y)
        (and
            (instance ?X PointInSpace)
            (superficialPart ?X ?B)
            (instance ?Y PointInSpace)
            (superficialPart ?Y ?A)
            (meetsSpatially ?X ?Y))))		 Geography.kif 705-718 If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a tangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z meets W
(=>
    (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)
        (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
        (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)
        (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
        (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)
        (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
        (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 ?B ?C))
    (or
        (tangentialProperPart ?A ?C)
        (nonTangentialProperPart ?A ?C)))		 Geography.kif 989-995 If X is a tangentialProperPart of Y and Y is a tangentialProperPart of Z, then X is a tangentialProperPart of Z or X is a nonTangentialProperPart of Z
(=>
    (and
        (tangentialProperPart ?A ?B)
        (nonTangentialProperPart ?B ?C))
    (nonTangentialProperPart ?A ?C))		 Geography.kif 997-1001 If X is a tangentialProperPart of Y and Y is a nonTangentialProperPart of Z, then 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
        (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)
        (tangentialProperPart ?B ?C))
    (nonTangentialProperPart ?A ?C))		 Geography.kif 1058-1062 If X is a nonTangentialProperPart of Y and Y is a tangentialProperPart of Z, then 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
(=>
    (and
        (tangentialProperPart ?B ?A)
        (tangentialProperPart ?B ?C))
    (or
        (partiallyOverlapping ?A ?C)
        (tangentialProperPart ?C ?A)
        (nonTangentialProperPart ?C ?A)
        (equalRegions ?A ?C)))		 Geography.kif 1119-1127 If X is a tangentialProperPart of Y and X is a tangentialProperPart of 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 (4) Y and Z are equalRegions
(=>
    (and
        (tangentialProperPart ?B ?A)
        (nonTangentialProperPart ?B ?C))
    (or
        (partiallyOverlapping ?A ?C)
        (tangentialProperPart ?A ?C)
        (nonTangentialProperPart ?A ?C)))		 Geography.kif 1129-1136 If X is a tangentialProperPart of Y and X is a nonTangentialProperPart of Z, then At least one of the following holds: (1) Y is partiallyOverlapping with Z (2) Y is a tangentialProperPart of Z (3) Y is a nonTangentialProperPart of Z
(=>
    (and
        (tangentialProperPart ?B ?A)
        (tangentialProperPart ?C ?B))
    (or
        (tangentialProperPart ?C ?A)
        (nonTangentialProperPart ?C ?A)))		 Geography.kif 1138-1144 If X is a tangentialProperPart of Y and Z is a tangentialProperPart of X, then Z is a tangentialProperPart of Y or Z is a nonTangentialProperPart of Y
(=>
    (and
        (tangentialProperPart ?B ?A)
        (nonTangentialProperPart ?C ?B))
    (nonTangentialProperPart ?C ?A))		 Geography.kif 1146-1150 If X is a tangentialProperPart of Y and Z is a nonTangentialProperPart of X, then Z is a nonTangentialProperPart of Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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
        (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 ?B ?C))
    (or
        (tangentialProperPart ?A ?C)
        (nonTangentialProperPart ?A ?C)))		 Geography.kif 989-995 If X is a tangentialProperPart of Y and Y is a tangentialProperPart of Z, then X is a tangentialProperPart of Z or 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
        (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)
        (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


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