Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - connects
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 9654-9657
(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 9650-9650 connects の数値 1 引数は オブジェクト の instance では
(domain connects 2 Object) Merge.kif 9651-9651 connects の数値 2 引数は オブジェクト の instance では
(domain connects 3 Object) Merge.kif 9652-9652 connects の数値 3 引数は オブジェクト の instance では
(instance connects SpatialRelation) Merge.kif 9648-9648 connects は 空間的関係 の instance では
(instance connects TernaryPredicate) Merge.kif 9649-9649 connects は 3進述語 の instance では

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 16317-16317 connectsEngineeringComponents は connects の subrelation では
(termFormat ChineseLanguage connects "连接") chinese_format.kif 364-364 connectsEngineeringComponents は connects の subrelation では
(termFormat ChineseTraditionalLanguage connects "連接") domainEnglishFormat.kif 16670-16670 connectsEngineeringComponents は connects の subrelation では
(termFormat EnglishLanguage connects "connects") domainEnglishFormat.kif 16669-16669 connectsEngineeringComponents は connects の subrelation では
(termFormat de connects "schliesstAn") terms-de.txt 150-150 connectsEngineeringComponents は connects の subrelation では
(termFormat tg connects "nagkakabit") relations-tg.txt 125-125 connectsEngineeringComponents は connects の subrelation では

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 3842-3849
(=>
    (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 5426-5431
(=>
    (connects ?ARC ?NODE1 ?NODE2)
    (connects ?ARC ?NODE2 ?NODE1))		 Merge.kif 9683-9685
(=>
    (connects ?BETWEEN ?END1 ?END2)
    (not
        (equal ?END1 ?END2)))		 Geography.kif 5409-5411
(=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3))))		 Merge.kif 9667-9673
(=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (between ?OBJ2 ?OBJ1 ?OBJ3))		 Merge.kif 9659-9661

consequent
-------------------------


(=>
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3)))
    (connects ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 9675-9681
(=>
    (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 16470-16480
(=>
    (and
        (instance ?POKE Poking)
        (agent ?POKE ?AGENT)
        (patient ?POKE ?OBJ)
        (instrument ?POKE ?INST))
    (holdsDuring
        (WhenFn ?POKE)
        (connects ?INST ?AGENT ?OBJ)))		 Merge.kif 12470-12476
(=>
    (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 6567-6576
(=>
    (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 16446-16458
(=>
    (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 5140-5153
(=>
    (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 5513-5528
(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))		 Transportation.kif 3820-3840
(=>
    (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 1780-1791
(=>
    (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 1730-1741
(=>
    (between ?OBJ2 ?OBJ1 ?OBJ3)
    (connects ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 9663-9665
(=>
    (connects ?ARC ?NODE1 ?NODE2)
    (connects ?ARC ?NODE2 ?NODE1))		 Merge.kif 9683-9685
(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))		 Mid-level-ontology.kif 12509-12515
(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))		 Mid-level-ontology.kif 16424-16430
(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5732-5738
(=>
    (instance ?CHANNEL Channel)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 5455-5461
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM ?BRANCH)
        (and
            (instance ?STREAM River)
            (instance ?BRANCH StreamWaterArea)
            (flows ?BRANCH ?STREAM)
            (connects ?FORK ?STREAM ?BRANCH))))		 Geography.kif 5631-5638
(=>
    (instance ?FORK StreamWaterConfluence)
    (exists (?STREAM1 ?STREAM2)
        (and
            (instance ?STREAM1 StreamWaterArea)
            (connects ?FORK ?STREAM1 ?STREAM2)
            (instance ?STREAM2 StreamWaterArea)
            (flows ?STREAM1 ?STREAM2))))		 Geography.kif 5622-5629
(=>
    (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 16649-16657
(=>
    (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 13038-13046
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?A ?B ?W2 ?X ?Y)
        (and
            (instance ?W1 Transitway)
            (routeBetween ?W1 ?A ?B)
            (instance ?W2 Transitway)
            (routeBetween ?W2 ?X ?Y)
            (not
                (equal ?W1 ?W2))
            (betweenOnPath ?A ?J ?B ?W1)
            (betweenOnPath ?X ?J ?Y ?W2)
            (connects ?J ?W1 ?W2))))		 Transportation.kif 3806-3818
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))		 Transportation.kif 3851-3859
(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))		 Merge.kif 15228-15234
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))		 Mid-level-ontology.kif 12658-12664
(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))		 Weather.kif 1034-1047

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show without tree


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