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


KB Term:  Term intersection
English Word: 

Sigma KEE - externallyConnected
externallyConnected

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


(instance externallyConnected RCC8Relation) Geography.kif 639-639 externally connected is an instance of region connection calculus 8
(instance externallyConnected SymmetricRelation) Geography.kif 640-640 externally connected is an instance of symmetric relation
(documentation externallyConnected EnglishLanguage "externallyConnected is a RCC8Relation. (externallyConnected ?A ?B) means that ?A and ?B are externallyConnected, meaning ?A and ?B touch at the boundary but don’t overlap.") Geography.kif 641-643 externally connected is an instance of symmetric relation
(domain externallyConnected 1 Region) Geography.kif 645-645 The number 1 argument of externally connected is an instance of region
(domain externallyConnected 2 Region) Geography.kif 646-646 The number 2 argument of externally connected is an instance of region
(relatedInternalConcept externallyConnected meetsSpatially) Geography.kif 647-647 externally connected is internally related to meets spatially

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


(termFormat EnglishLanguage externallyConnected "externally connected") Geography.kif 644-644
(format EnglishLanguage externallyConnected "%1 and %2 are externallyConnected") Geography.kif 648-648
(names "EC" externallyConnected) Geography.kif 649-649 externally connected has name "EC"

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


(=>
    (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
        (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
        (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
        (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)
        (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
        (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
        (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
        (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
        (nonTangentialProperPart ?B ?A)
        (externallyConnected ?B ?C))
    (or
        (partiallyOverlapping ?A ?C)
        (tangentialProperPart ?C ?A)
        (nonTangentialProperPart ?C ?A)))		 Geography.kif 1171-1178 If X is a nonTangentialProperPart of Y and X and Z are externallyConnected, 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
        (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

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


(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (meetsSpatially ?A ?B))
    (externallyConnected ?A ?B))		 Geography.kif 651-656 If X is an instance of region, Y is an instance of region, and X meets Y, then X and Y are externallyConnected
(=>
    (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)
        (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)
        (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)
        (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)
        (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)
        (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
        (nonTangentialProperPart ?B ?A)
        (disconnected ?B ?C))
    (or
        (disconnected ?A ?C)
        (externallyConnected ?A ?C)
        (partiallyOverlapping ?A ?C)
        (tangentialProperPart ?C ?A)
        (nonTangentialProperPart ?C ?A)))		 Geography.kif 1160-1169 If X is a nonTangentialProperPart 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
        (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(externallyConnected SouthernCalifornia NorthernCalifornia) Geography.kif 548-548 Southern California and Northern California are externallyConnected
(externallyConnected CaliforniaCoastRanges TransverseRanges) Geography.kif 1293-1293 California Coast Ranges and Transverse Ranges are externallyConnected
(externallyConnected Tropics TropicOfCancer) Geography.kif 5042-5042 Tropics and Tropic of Cancer are externallyConnected
(externallyConnected Tropics TropicOfCapricorn) Geography.kif 5043-5043 Tropics and Tropic of Capricorn are externallyConnected


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