| appearance as argument number 1 |
|
| (documentation connects ChineseLanguage "这是一个联系三样东西的关系，它出现在当三样东西之中的一个把 另外的两个联系起来的时候，更正规的说，(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?OBJ1 ?OBJ2)和(connected ?OBJ1 ?OBJ3)，而不是(connected ?OBJ2 ?OBJ3)。") | Merge.kif 13223-13225 | |
| (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 13218-13221 | |
| (documentation connects JapaneseLanguage "３つの物事の関係は、３つのうちの１つが他の２つを接続 するときである。より正式には、(connects ?OBJ1 ?OBJ2 ?OBJ3) とは、 (connected ?OBJ1 ?OBJ2) および (connected ?OBJ1 ?OBJ3) で、(connected ?OBJ2 ?OBJ3) ではない、という意味である。") | Merge.kif 13227-13229 | |
| (domain connects 1 Object) | Merge.kif 13214-13214 | connects の数値 1 引数は オブジェクト の instance では %n |
| (domain connects 2 Object) | Merge.kif 13215-13215 | connects の数値 2 引数は オブジェクト の instance では %n |
| (domain connects 3 Object) | Merge.kif 13216-13216 | connects の数値 3 引数は オブジェクト の instance では %n |
| (instance connects SpatialRelation) | Merge.kif 13212-13212 | connects は 空間的関係 の instance では %n |
| (instance connects TernaryPredicate) | Merge.kif 13213-13213 | connects は 3進述語 の instance では %n |
| 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 511-511 | |
| (format JapaneseLanguage connects "%1 は %2 と %3 に connect%p{s} %n{ない}") | english_format.kif 512-512 | |
| (subrelation connectsEngineeringComponents connects) | Merge.kif 20719-20719 | connectsEngineeringComponents は connects の subrelation では %n |
| (termFormat ChineseLanguage connects "连接") | chinese_format.kif 364-364 | termFormat ChineseLanguage, connects and "连接" |
| (termFormat ChineseTraditionalLanguage connects "連接") | domainEnglishFormat.kif 16590-16590 | termFormat ChineseTraditionalLanguage, connects and "連接" |
| (termFormat EnglishLanguage connects "connects") | domainEnglishFormat.kif 16589-16589 | termFormat EnglishLanguage, connects and "connects" |
| antecedent |
|
|
| (<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 13235-13241 | オブジェクト は オブジェクト と オブジェクト に connects %n{ない} オブジェクト は オブジェクト と connected して オブジェクト は オブジェクト と connected して オブジェクト は オブジェクト と connected して |
| (<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 13231-13233 | オブジェクト は オブジェクト と オブジェクト に connects %n{ない} オブジェクト は オブジェクト と オブジェクト の between では %n |
| (=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC)) |
Transportation.kif 2814-2820 | |
| (=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 4969-4974 | |
| (=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 13243-13245 | |
| (=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2))) |
Geography.kif 4952-4954 |
| consequent |
|
|
| (=> (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 12790-12800 | |
| (=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ))) |
Merge.kif 16633-16639 | |
| (=> (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 5864-5873 | |
| (=> (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 12766-12778 |
|
| (=> (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 5044-5059 |
|
| (=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 13243-13245 | |
| (=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 9570-9576 | |
| (=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R)))) |
Mid-level-ontology.kif 12744-12750 | |
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5260-5266 | |
| (=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 4986-4992 | |
| (=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5160-5167 | |
| (=> (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 12964-12972 | |
| (=> (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 9926-9934 | |
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 19604-19610 | |
| (=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 9636-9642 | |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4458-4464 | |
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9057-9063 | |
| (=> (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 4172-4183 | |
| (=> (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 1096-1113 |
|
| (=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)))) |
Geography.kif 4961-4967 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners