Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

connected (connected)

(connected obj1 obj2) means that obj1 meetsSpatially obj2 or that obj1 overlapsSpatially obj2.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-lakshana  
is instance of
varga
is instance of
  inheritable relation  
is instance of
  sthaana sambandha  
is instance of
aatmavaachaka sambandha
is instance of
saamanjasyapUrNa sambandha
is instance of
is instance of
  connected  

Subrelation(s)

meets spatially  overlaps spatially  connected engineering components 

Coordinate term(s)

back fn  front fn  mereological difference fn  mereological product fn  mereological sum fn  principal host fn  skin fn  where fn  arc weight  authors  before or equal  between  causes  causes subclass  citizen  closed on  connected engineering components  connects  contains information  cooccur  copy  date  decreases likelihood  developmental form  disjoint  distance  distributes  documentation  duration  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  material  measure  meets spatially  meets temporally  modal attribute  orientation  overlaps partially  overlaps spatially  overlaps temporally  parent  part  partial ordering on  partially fills  partly located  path length  possesses  precondition  prevents  property  publishes  range  range subclass  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  temporal part  time  total ordering on  traverses  trichotomizing on  uses  valence  version 

Type restrictions

connected(object, object)

Related WordNet synsets

joining, connection, connexion, connecting
the act of bringing two things into contact
joining is kind of (all)...   joining is kind of...   kinds of joining...   kinds of joining (all)...  
connection, link, connectedness
the state of being connected; "the connection between church and state is inescapable"
connection is opposite to...   connection is kind of (all)...   connection is kind of...   kinds of connection...   kinds of connection (all)...  
connected
joined or linked together
connected is opposite to...   connected is similar to...   connected is an attribute of  
See more related synsets on a separate page.

Axioms (19)

crosses and connected are disjoint. 
(disjointRelation crosses connected)
Agar obj1 is connected to obj2, to obj1 meets obj2 yaa obj1 overlaps with obj2. 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))
obj is an instance of aatmasambaddha vastu agar hai sab-kuch part1,part2 ke lie hai, ki: agar obj is equal to "the union of the parts of part1 and part2", to part1 is connected to part2. 
(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))
obj1 connects obj2 and obj3 agar hai obj1 is connected to obj2 aur obj1 is connected to obj3 aur obj2 is not connected to obj3. 
(<=>
      (connects ?OBJ1 ?OBJ2 ?OBJ3)
      (and
            (connected ?OBJ1 ?OBJ2)
            (connected ?OBJ1 ?OBJ3)
            (not
                  (connected ?OBJ2 ?OBJ3))))
Agar the bottom of object is bottom aur part is a part of object aur part is not connected to bottom, to part is above to bottom. 
(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))
Agar the top of object is top aur part is a part of object aur part is not connected to top, to part is below to top. 
(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))
Agar a side of object is side aur part is a part of object aur part is not connected to side, to yah kuch direct nahin, ki side is direct to part. 
(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))
Agar hole obj men chidra hai, to hole is connected to obj. 
(=>
      (hole ?HOLE ?OBJ)
      (connected ?HOLE ?OBJ))
(=>
      (completelyFills ?OBJ1 ?HOLE)
      (forall
            (?OBJ2)
            (=>
                  (connected ?OBJ2 ?HOLE)
                  (connected ?OBJ2 ?OBJ1))))
Agar obj1 properly fills hole aur obj2 is connected to obj1, to hole is connected to obj2. 
(=>
      (and
            (properlyFills ?OBJ1 ?HOLE)
            (connected ?OBJ2 ?OBJ1))
      (connected ?HOLE ?OBJ2))
Agar touch is an instance of shparshana aur touch obj1 kaa kaaran hai aur obj2 is a patient of touch, to obj1 is connected to obj2 immediately after "the time of existence of touch". 
(=>
      (and
            (instance ?TOUCH Touching)
            (agent ?TOUCH ?OBJ1)
            (patient ?TOUCH ?OBJ2))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2)))
Agar attach is an instance of sanlagnana aur obj1 is a patient of attach aur obj2 is a patient of attach, to obj1 is not connected to obj2 immediately before "the time of existence of attach" aur obj1 is connected to obj2 immediately after "the time of existence of attach". 
(=>
      (and
            (instance ?ATTACH Attaching)
            (patient ?ATTACH ?OBJ1)
            (patient ?ATTACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?ATTACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?ATTACH))
                  (connected ?OBJ1 ?OBJ2))))
Agar detach is an instance of vilagana aur obj1 is a patient of detach aur obj2 is a patient of detach, to obj1 is connected to obj2 immediately before "the time of existence of detach" aur obj1 is not connected to obj2 immediately after "the time of existence of detach". 
(=>
      (and
            (instance ?DETACH Detaching)
            (patient ?DETACH ?OBJ1)
            (patient ?DETACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?DETACH))
                  (connected ?OBJ1 ?OBJ2))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?DETACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))))
Agar island is an instance of dvIpa, to yah kuch thala kshetra area,part1,part2 nahin, ki part1 is a part of island aur part2 is a part of area aur island is not a part of area aur area is not a part of island aur part1 is connected to part2. 
(=>
      (instance ?ISLAND Island)
      (not
            (exists
                  (?AREA ?PART1 ?PART2)
                  (and
                        (instance ?AREA LandArea)
                        (part ?PART1 ?ISLAND)
                        (part ?PART2 ?AREA)
                        (not
                              (part ?ISLAND ?AREA))
                        (not
                              (part ?AREA ?ISLAND))
                        (connected ?PART1 ?PART2)))))
Agar junct is an instance of shaarIrika sandhi, to yah kuch shaarIrika bhaaga struct1,shaarIrika bhaaga struct2 nahin, ki junct is connected to struct1 aur junct is connected to struct2 aur struct1 is not equal to struct2. 
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))
Agar obj1 is above to obj2, to obj1 is not connected to obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Above)
      (not
            (connected ?OBJ1 ?OBJ2)))
Agar obj1 is adjacent to obj2, to obj1 is near to obj2 yaa obj1 is connected to obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Adjacent)
      (or
            (orientation ?OBJ1 ?OBJ2 Near)
            (connected ?OBJ1 ?OBJ2)))
Agar obj1 is near to obj2, to obj1 is not connected to obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Near)
      (not
            (connected ?OBJ1 ?OBJ2)))
Agar obj1 is on to obj2, to obj1 is connected to obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (connected ?OBJ1 ?OBJ2))