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

connects (connects)

The relationship between three things, when one of the three things connects the other two. More formally, (connects obj1 obj2 obj3) means that (connected obj1 obj2) and (connected obj1 obj3) and not (connected obj2 obj3).

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  predikát se třemi argumenty  
is instance of
is instance of
  connects  

Subrelation(s)

connects 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  altitude  between  capability  conditional probability  confers obligation  confers right  connected  depth  distance  domain  domain subclass  has purpose for agent  hole  larger  links  occupies position  orientation  part  partially fills  partly located  prefers  related external concept  represents for agent  represents in language  smaller  temporally between  temporally between or equal  traverses 

Typy argumentů

connects(spojitý objekt, spojitý objekt, spojitý objekt)

Related WordNet synsets

connection, connexion, connector, connecter, connective
something that connects; "he soldered the connection"; "he didn't have the right connector between the amplifier and the speakers"
connection is kind of (all)...   connection is kind of...   kinds of connection...   kinds of connection (all)...  
See more related synsets on a separate page.

Axiomy (2)

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 poke je instancí třídy propíchnutí a agent je původcem poke a obj je účastníkem poke a inst je nástrojem for poke, potom inst spojuje agent a obj doba existence poke. 
(=>
      (and
            (instance ?POKE Poking)
            (agent ?POKE ?AGENT)
            (patient ?POKE ?OBJ)
            (instrument ?POKE ?INST))
      (holdsDuring
            (WhenFn ?POKE)
            (connects ?INST ?AGENT ?OBJ)))