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

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

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneSpaziale  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
is instance of
is instance of
  connects  

Subrelation(s)

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

Type restrictions

connects(OggettoIntegro, OggettoIntegro, OggettoIntegro)

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.

Axioms (2)

obj1 connette obj2 e obj3 se e solo se obj1 é connesso a obj2 e obj1 é connesso a obj3 e obj2 é not connesso a obj3. 
(<=>
      (connects ?OBJ1 ?OBJ2 ?OBJ3)
      (and
            (connected ?OBJ1 ?OBJ2)
            (connected ?OBJ1 ?OBJ3)
            (not
                  (connected ?OBJ2 ?OBJ3))))
Se poke é un' istanza di Perforare e poke é un agente di agent e obj é un paziente di poke e inst é uno strumento per poke, allora "inst connette agent e obj" vales durante "il tempo di esistenza di poke". 
(=>
      (and
            (instance ?POKE Poking)
            (agent ?POKE ?AGENT)
            (patient ?POKE ?OBJ)
            (instrument ?POKE ?INST))
      (holdsDuring
            (WhenFn ?POKE)
            (connects ?INST ?AGENT ?OBJ)))