connects |
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 9669-9672 | |
(documentation connects JapaneseLanguage "3つの物事の関係は、3つのうちの1つが他の2つを接続 するときである。より正式には、(connects ?OBJ1 ?OBJ2 ?OBJ3) とは、 (connected ?OBJ1 ?OBJ2) および (connected ?OBJ1 ?OBJ3) で、(connected ?OBJ2 ?OBJ3) ではない、という意味である。") | japanese_format.kif 1567-1569 | |
(domain connects 1 Object) | Merge.kif 9665-9665 | Le nombre 1 argument de connects est une instance de objet |
(domain connects 2 Object) | Merge.kif 9666-9666 | Le nombre 2 argument de connects est une instance de objet |
(domain connects 3 Object) | Merge.kif 9667-9667 | Le nombre 3 argument de connects est une instance de objet |
(instance connects SpatialRelation) | Merge.kif 9663-9663 | connects est une instance de relation spatial |
(instance connects TernaryPredicate) | Merge.kif 9664-9664 | connects est une instance de pr�dicat ternaire |
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 16332-16332 | connectsEngineeringComponents est une sous-relation de connects |
(termFormat ChineseLanguage connects "连接") | chinese_format.kif 364-364 | connectsEngineeringComponents est une sous-relation de connects |
(termFormat ChineseTraditionalLanguage connects "連接") | domainEnglishFormat.kif 16670-16670 | connectsEngineeringComponents est une sous-relation de connects |
(termFormat EnglishLanguage connects "connects") | domainEnglishFormat.kif 16669-16669 | connectsEngineeringComponents est une sous-relation de connects |
(termFormat de connects "schliesstAn") | terms-de.txt 150-150 | connectsEngineeringComponents est une sous-relation de connects |
(termFormat tg connects "nagkakabit") | relations-tg.txt 125-125 | connectsEngineeringComponents est une sous-relation de connects |
antecedent |
![]() |
(=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC)) |
Transportation.kif 3468-3474 | |
(=> (and (instance ?R1 Transitway) (instance ?R2 Transitway) (not (equal ?R1 ?R2)) (connects ?J ?R1 ?R2)) (instance ?J TransitwayJunction)) |
Transportation.kif 3844-3851 | |
(=> (and (instance ?W WeatherFront) (instance ?F AirStream) (eventLocated ?W ?F) (connects ?F ?A ?B) (instance ?A AirMass) (instance ?B AirMass)) (not (equal ?A ?B))) |
Weather.kif 804-813 | |
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5596-5601 | |
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9698-9700 | |
(=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2))) |
Geography.kif 5579-5581 | |
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9682-9688 | |
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9674-9676 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(connects Sahel AtlanticOcean RedSea) | Geography.kif 6968-6968 | Sahel relie AtlanticOcean et RedSea |
(connects StraitOfGibraltar Europe Africa) | Geography.kif 5618-5618 | StraitOfGibraltar relie Europe et Africa |
(connects StraitOfGibraltar MediterraneanSea AtlanticOcean) | Geography.kif 5617-5617 | StraitOfGibraltar relie MediterraneanSea et AtlanticOcean |
![]() |
![]() |