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 9533-9536
(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 9529-9529	The number 1 argument of connects is an instance of object
(domain connects 2 Object)	Merge.kif 9530-9530	The number 2 argument of connects is an instance of object
(domain connects 3 Object)	Merge.kif 9531-9531	The number 3 argument of connects is an instance of object
(instance connects SpatialRelation)	Merge.kif 9527-9527	connects is an instance of spatial relation
(instance connects TernaryPredicate)	Merge.kif 9528-9528	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 16127-16127	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 5283-5288	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 9562-9564	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 5266-5268	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 9546-9552	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 9538-9540	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 9554-9560	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 15069-15079	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 12305-12311	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 5602-5611	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 15045-15057	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 5358-5373	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 9542-9544	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 9562-9564	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 11150-11156	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 15023-15029	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 5577-5583	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 5300-5306	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 5476-5483	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 5467-5474	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 15248-15256	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 11679-11687	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 15060-15066	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 11299-11305	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 4761-4767	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 9421-9427	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 3609-3620	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 1246-1263	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: