| 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 9579-9582 | |
| (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 9575-9575 | |
| (domain connects 2 Object) | Merge.kif 9576-9576 | |
| (domain connects 3 Object) | Merge.kif 9577-9577 | |
| (instance connects SpatialRelation) | Merge.kif 9573-9573 | |
| (instance connects TernaryPredicate) | Merge.kif 9574-9574 |
| 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 16234-16234 | |
| (termFormat ChineseLanguage connects "连接") | chinese_format.kif 364-364 | |
| (termFormat ChineseTraditionalLanguage connects "連接") | domainEnglishFormat.kif 16672-16672 | |
| (termFormat EnglishLanguage connects "connects") | domainEnglishFormat.kif 16671-16671 | |
| (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 3465-3471 | |
| (=> (and (instance ?R1 Transitway) (instance ?R2 Transitway) (not (equal ?R1 ?R2)) (connects ?J ?R1 ?R2)) (instance ?J TransitwayJunction)) |
Transportation.kif 3838-3845 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5281-5286 | |
| (=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9608-9610 | |
| (=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2))) |
Geography.kif 5264-5266 | |
| (=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9592-9598 | |
| (=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9584-9586 |
| consequent |
|
|
| (=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9600-9606 | |
| (=> (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 15347-15357 | |
| (=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12391-12397 | |
| (=> (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 5624-5633 | |
| (=> (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 15323-15335 | |
| (=> (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 5120-5133 | |
| (=> (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 5356-5371 | |
| (=> (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 3816-3836 | |
| (=> (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 | |
| (=> (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 | |
| (=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9588-9590 | |
| (=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9608-9610 | |
| (=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 11396-11402 | |
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15301-15307 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5575-5581 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5298-5304 | |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5474-5481 | |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5465-5472 | |
| (=> (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 15526-15534 | |
| (=> (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 11925-11933 | |
| (=> (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 3802-3814 | |
| (=> (instance ?J TransitwayJunction) (exists (?W1 ?W2) (and (instance ?W1 Transitway) (instance ?W2 Transitway) (connects ?J ?W1 ?W2) (not (equal ?W1 ?W2))))) |
Transportation.kif 3847-3855 | |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15145-15151 | |
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 11545-11551 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4759-4765 | |
| 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