connects - Sigma Knowledge base Browser

appearance as argument number 1

(documentation connects ChineseLanguage "这是一个联系三样东西的关系，它出现在当三样东西之中的一个把另外的两个联系起来的时候，更正规的说，(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?OBJ1 ?OBJ2)和(connected ?OBJ1 ?OBJ3)，而不是(connected ?OBJ2 ?OBJ3)。")	chinese_format.kif 2825-2827
(documentation connects EnglishLanguage "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).")	Merge.kif 9555-9558
(documentation connects JapaneseLanguage "３つの物事の関係は、３つのうちの１つが他の２つを接続するときである。より正式には、(connects ?OBJ1 ?OBJ2 ?OBJ3) とは、 (connected ?OBJ1 ?OBJ2) および (connected ?OBJ1 ?OBJ3) で、(connected ?OBJ2 ?OBJ3) ではない、という意味である。")	japanese_format.kif 1567-1569
(domain connects 1 Object)	Merge.kif 9551-9551	The number 1 argument of connects is an instance of object
(domain connects 2 Object)	Merge.kif 9552-9552	The number 2 argument of connects is an instance of object
(domain connects 3 Object)	Merge.kif 9553-9553	The number 3 argument of connects is an instance of object
(instance connects SpatialRelation)	Merge.kif 9549-9549	connects is an instance of spatial relation
(instance connects TernaryPredicate)	Merge.kif 9550-9550	connects is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage connects "%1 %n{doesn't} connects %2 和 %3")	chinese_format.kif 363-363
(format EnglishLanguage connects "%1 %n{doesn't} connect%p{s} %2 and %3")	english_format.kif 366-366
(format FrenchLanguage connects "%1 %n{ne} relie %n{pas} %2 et %3")	french_format.kif 210-210
(format ItalianLanguage connects "%1 connette %2 e %3")	relations-it.txt 54-54
(format JapaneseLanguage connects "%1 は %2 と %3 に connect%p{s} %n{ない}")	japanese_format.kif 2017-2017
(format PortugueseLanguage connects "%1 %n{nao} conecta %n %2 e %3")	portuguese_format.kif 162-162
(format cb connects "%1 ikabit %2 ug %3")	relations-cb.txt 88-88
(format cz connects "%1 %n{ne}spojuje %2 a %3")	relations-cz.txt 217-217
(format de connects "%1 schleisst %2 und %3 an")	relations-de.txt 483-483
(format hi connects "%1 %2 aura %3 ko jodataa hai")	relations-hindi.txt 95-95
(format ro connects "%1 %n{nu} connect%t{îmbinã} %2 ºi %3")	relations-ro.kif 230-230
(format sv connects "%1 sammanlänkar %n{inte} %2 och %3")	relations-sv.txt 227-227
(format tg connects "%1 nagkakabit %2 at %3")	relations-tg.txt 124-124
(subrelation connectsEngineeringComponents connects)	Merge.kif 16179-16179	connects engineering components is a subrelation of connects
(termFormat ChineseLanguage connects "连接")	chinese_format.kif 364-364
(termFormat ChineseTraditionalLanguage connects "連接")	domainEnglishFormat.kif 16661-16661
(termFormat EnglishLanguage connects "connects")	domainEnglishFormat.kif 16660-16660
(termFormat tg connects "nagkakabit")	relations-tg.txt 125-125

antecedent

(=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC))	Transportation.kif 2870-2876	If an object connects another object and a third object and the abstract counterpart of the other object is a graph node and the abstract counterpart of the third object is another graph node and the abstract counterpart of the object is the objectRC, then the objectRC links the graph node and the other graph node
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 5305-5310	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1))	Merge.kif 9584-9586	If an object connects another object and a third object, then the object connects the third object and the other object
(=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2)))	Geography.kif 5288-5290	If an object connects another object and a third object, then the other object is not equal to the third object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 9568-9574	If an object connects another object and a third object, then the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3))	Merge.kif 9560-9562	If an object connects another object and a third object, then the object is between the other object and the third object

consequent

(=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9576-9582	If an object is connected to another object and the object is connected to a third object and the other object is not connected to the third object, then the object connects the other object and the third object
(=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2))))	Mid-level-ontology.kif 15096-15106	If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object, then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object
(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))	Merge.kif 12357-12363	If a process is an instance of poking and an agent is an agent of the process and an entity is a patient of the process and an object is an instrument for the process, then the object connects the agent and the entity holds during the time of existence of the process
(=> (and (instance ?S Soldering) (patient ?S ?OBJ1) (patient ?S ?OBJ2) (not (equal ?OBJ1 ?OBJ2))) (exists (?A) (and (instance ?A MetallicAlloy) (connects ?A ?OBJ1 ?OBJ2))))	Mid-level-ontology.kif 5629-5638	If a process is an instance of soldering and an object is a patient of the process and another object is a patient of the process and the object is not equal to the other object, then there exists a third object such that the third object is an instance of metallic alloy and the third object connects the object and the other object
(=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 15072-15084	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object has the purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
(=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM) (instance ?RS2 RetailStore) (part ?RS2 ?SM) (not (equal ?RS1 ?RS2))) (not (exists (?H) (and (instance ?H Hallway) (connects ?RS1 ?H ?RS2)))))	Medicine.kif 5132-5145	If an object is an instance of StripMall and another object is an instance of retail store and the other object is a part of the object and a third object is an instance of retail store and the third object is a part of the object and the other object is not equal to the third object, then there doesn't exist a fourth object such that the fourth object is an instance of hall and the other object connects the fourth object and the third object
(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5380-5395	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connects ?M ?BP))))	Anatomy.kif 1745-1756	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
(=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (attribute ?H Healthy)) (exists (?M ?BP) (and (instance ?M ?MC) (instance ?BP ?BPC) (part ?M ?H) (part ?BP ?H) (connects ?M ?BP))))	Anatomy.kif 1695-1706	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
(=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9564-9566	If an object is between another object and a third object, then the object connects the other object and the third object
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1))	Merge.kif 9584-9586	If an object connects another object and a third object, then the object connects the third object and the other object
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 11177-11183	If an object is an instance of capillary, then there exist another object and a third object such that the other object is an instance of artery and the third object is an instance of vein and the object connects the other object and the third object
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R))))	Mid-level-ontology.kif 15050-15056	If an object is an instance of curb, then there exist another object and a third object such that the other object is an instance of sidewalk and the third object is an instance of roadway and the object connects the other object and the third object
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5599-5605	If an object is an instance of canal, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5322-5328	If an object is an instance of channel, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 5498-5505	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of river and the third object is an instance of stream water area and the other object is a flows of the third object and the object connects the other object and the third object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2))))	Geography.kif 5489-5496	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of stream water area and the object connects the other object and the third object and the third object is an instance of stream water area and the third object is a flows of the other object
(=> (instance ?HINGE Hinge) (hasPurpose ?HINGE (exists (?OBJ1 ?OBJ2) (and (connects ?HINGE ?OBJ1 ?OBJ2) (or (capability Rotating patient ?OBJ1) (capability Rotating patient ?OBJ2))))))	Mid-level-ontology.kif 15275-15283	If a physical is an instance of hinge, then the physical has the purpose there exist an entity and another entity such that the physical connects the entity and the other entity and the entity is capable of doing rotating as a patient or the other entity is capable of doing rotating as a patient
(=> (instance ?J BodyJoint) (exists (?S ?P1 ?P2) (and (instance ?S Skeleton) (component ?P1 ?S) (component ?P2 ?S) (component ?J ?S) (connects ?J ?P1 ?P2))))	Mid-level-ontology.kif 11706-11714	If a corpuscular object is an instance of body joint, then there exist another corpuscular object, a third corpuscular object and a fourth corpuscular object such that the other corpuscular object is an instance of skeleton and the third corpuscular object is a component of the other corpuscular object and the fourth corpuscular object is a component of the other corpuscular object and the corpuscular object is a component of the other corpuscular object and the corpuscular object connects the third corpuscular object and the fourth corpuscular object
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2))))	Merge.kif 15112-15118	If an object is an instance of body junction, then there exist another object and a third object such that the other object is an instance of body part and the third object is an instance of body part and the object connects the other object and the third object
(=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T))))	Mid-level-ontology.kif 11326-11332	If an object is an instance of nostril, then there exist another object and a third object such that the other object is an instance of nose and the third object is an instance of throat and the object connects the other object and the third object
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 4783-4789	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and the object
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9448-9454	If an object is an instance of tendon, then there exist another object and a third object such that the other object is an instance of muscle and the third object is an instance of bone and the object connects the other object and the third object
(=> (instance ?TL TelephoneLine) (exists (?T1 ?T2) (and (or (instance ?T1 Telephone) (instance ?T1 Telegraph)) (or (instance ?T2 Telephone) (instance ?T2 Telegraph)) (not (equal ?T1 ?T2)) (connects ?TL ?T1 ?T2))))	Mid-level-ontology.kif 3637-3648	If an object is an instance of telephone line, then there exist another object and a third object such that the other object is an instance of telephone or the other object is an instance of telegraph and the third object is an instance of telephone or the third object is an instance of telegraph and the other object is not equal to the third object and the object connects the other object and the third object
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1247-1264	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: