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


KB Term:  Term intersection
English Word: 

  connectedRegions

 Sigma KEE - connectedRegions
connectedRegions

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


(instance connectedRegions BinaryPredicate) Geography.kif 592-592 connected regions is an instance of binary predicate
(instance connectedRegions SpatialRelation) Geography.kif 593-593 connected regions is an instance of spatial relation
(instance connectedRegions ReflexiveRelation) Geography.kif 594-594 connected regions is an instance of reflexive relation
(instance connectedRegions SymmetricRelation) Geography.kif 595-595 connected regions is an instance of symmetric relation
(domain connectedRegions 1 Region) Geography.kif 596-596 The number 1 argument of connected regions is an instance of region
(domain connectedRegions 2 Region) Geography.kif 597-597 The number 2 argument of connected regions is an instance of region
(relatedInternalConcept connectedRegions connected) Geography.kif 598-598 connected regions is internally related to connected
(documentation connectedRegions EnglishLanguage "(connectedRegions ?R1 ?R2) means that ?R1 and ?R2 are connected.") Geography.kif 600-601 connected regions is internally related to connected

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


(format EnglishLanguage connectedRegions "%1 and %2 are connectedRegions") Geography.kif 599-599
(termFormat EnglishLanguage connectedRegions "connected regions") Geography.kif 602-602

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


(=>
    (and
        (instance ?R1 Region)
        (instance ?R2 Region)
        (connected ?R1 ?R2))
    (connectedRegions ?R1 ?R2))		 Geography.kif 604-609 If X is an instance of region, Y is an instance of region, and X is connected to Y, then X and Y are connectedRegions
(=>
    (disconnected ?A ?B)
    (not
        (connectedRegions ?A ?B)))		 Geography.kif 634-637 If X and Y are disconnected, then X and Y are connectedRegions


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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