Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

connected (connected)

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

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  binární predikát  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
reflexivní relace
is instance of
symetrická relace
is instance of
is instance of
  connected  

Subrelation(s)

meets spatially  overlaps spatially  connected engineering components 

Související termín(y)

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 

Typy argumentů

connected(objekt, objekt)

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.

Axiomy (19)

crosses and connected are disjoint. 
(disjointRelation crosses connected)
Jestliže obj1 je spojen s obj2, potom obj1 se dotýká obj2 nebo obj1 se překrývá s obj2. 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))
obj je instancí třídy spojitý objekt tehdy a jen tehdy pokud pro všechny part1,part2 platí: jestliže obj se rovná "mereological sum fn(part1,part2)", potom part1 je spojen s part2. 
(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))
obj1 spojuje obj2 a obj3 tehdy a jen tehdy pokud obj1 je spojen s obj2 a obj1 je spojen s obj3 a obj2 není spojen s obj3. 
(<=>
      (connects ?OBJ1 ?OBJ2 ?OBJ3)
      (and
            (connected ?OBJ1 ?OBJ2)
            (connected ?OBJ1 ?OBJ3)
            (not
                  (connected ?OBJ2 ?OBJ3))))
Jestliže bottom(bottom,object) platí a part je částí object a part není spojen s bottom, potom part je above vzhledem k bottom. 
(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))
Jestliže top(top,object) platí a part je částí object a part není spojen s top, potom part je below vzhledem k top. 
(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))
Jestliže side(side,object) platí a part je částí object a part není spojen s side, potom existuje direct tak, že side je direct vzhledem k part. 
(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))
Jestliže hole je díra v obj, potom hole je spojen s obj. 
(=>
      (hole ?HOLE ?OBJ)
      (connected ?HOLE ?OBJ))
(=>
      (completelyFills ?OBJ1 ?HOLE)
      (forall
            (?OBJ2)
            (=>
                  (connected ?OBJ2 ?HOLE)
                  (connected ?OBJ2 ?OBJ1))))
Jestliže obj1 přesně zaplňuje hole a obj2 je spojen s obj1, potom hole je spojen s obj2. 
(=>
      (and
            (properlyFills ?OBJ1 ?HOLE)
            (connected ?OBJ2 ?OBJ1))
      (connected ?HOLE ?OBJ2))
Jestliže touch je instancí třídy dotyk a obj1 je původcem touch a obj2 je účastníkem touch, potom obj1 je spojen s obj2 právě po doba existence touch. 
(=>
      (and
            (instance ?TOUCH Touching)
            (agent ?TOUCH ?OBJ1)
            (patient ?TOUCH ?OBJ2))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2)))
Jestliže attach je instancí třídy připojení a obj1 je účastníkem attach a obj2 je účastníkem attach, potom obj1 není spojen s obj2 právě před doba existence attach a obj1 je spojen s obj2 právě po doba existence 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))))
Jestliže detach je instancí třídy odpojení a obj1 je účastníkem detach a obj2 je účastníkem detach, potom obj1 je spojen s obj2 právě před doba existence detach a obj1 není spojen s obj2 právě po doba existence 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)))))
Jestliže island je instancí třídy ostrov, potom neexistují souš area,part1,part2 tak, že part1 je částí island a part2 je částí area a island není částí area a area není částí island a part1 je spojen s 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)))))
Jestliže junct je instancí třídy tělní kloub, potom existují část těla struct1,část těla struct2 tak, že junct je spojen s struct1 a junct je spojen s struct2 a struct1 se nerovná struct2. 
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))
Jestliže obj1 je above vzhledem k obj2, potom obj1 není spojen s obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Above)
      (not
            (connected ?OBJ1 ?OBJ2)))
Jestliže obj1 je adjacent vzhledem k obj2, potom obj1 je near vzhledem k obj2 nebo obj1 je spojen s obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Adjacent)
      (or
            (orientation ?OBJ1 ?OBJ2 Near)
            (connected ?OBJ1 ?OBJ2)))
Jestliže obj1 je near vzhledem k obj2, potom obj1 není spojen s obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 Near)
      (not
            (connected ?OBJ1 ?OBJ2)))
Jestliže obj1 je on vzhledem k obj2, potom obj1 je spojen s obj2. 
(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (connected ?OBJ1 ?OBJ2))