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


KB Term:  Term intersection
English Word: 

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 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