| appearance as argument number 1 |
|
| (documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。") | chinese_format.kif 2823-2824 | |
| (documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.") | Merge.kif 9506-9507 | |
| (documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。") | japanese_format.kif 1565-1566 | |
| (domain connected 1 Object) | Merge.kif 9503-9503 | 域 連接的, 1 and Object |
| (domain connected 2 Object) | Merge.kif 9504-9504 | 域 連接的, 2 and Object |
| (instance connected BinaryPredicate) | Merge.kif 9499-9499 | 例 連接的 and BinaryPredicate |
| (instance connected ReflexiveRelation) | Merge.kif 9501-9501 | 例 連接的 and ReflexiveRelation |
| (instance connected SpatialRelation) | Merge.kif 9500-9500 | 例 連接的 and SpatialRelation |
| (instance connected SymmetricRelation) | Merge.kif 9502-9502 | 例 連接的 and SymmetricRelation |
| appearance as argument number 2 |
|
|
| (disjointRelation crosses connected) | Merge.kif 4200-4200 | 不相交的關係 十字架 and 連接的 |
| (format ChineseLanguage connected "%1 和 %2 %n 是 connected") | chinese_format.kif 361-361 | |
| (format EnglishLanguage connected "%1 is %n connected to %2") | english_format.kif 364-364 | |
| (format FrenchLanguage connected "%1 est %n connect� � %2") | french_format.kif 209-209 | |
| (format ItalianLanguage connected "%1 è %n connesso a %2") | relations-it.txt 52-52 | |
| (format JapaneseLanguage connected "%1 は %2 と connected して %n ") | japanese_format.kif 2016-2016 | |
| (format PortugueseLanguage connected "%1 e' %n conectado com %2") | portuguese_format.kif 161-161 | |
| (format cb connected "%1 %n ay ikabit sa %2") | relations-cb.txt 86-86 | |
| (format cz connected "%1 %p{je} %n{nen�} spojen s %2") | relations-cz.txt 216-216 | |
| (format de connected "%1 wird an %2 %n{nicht} angeschlossen") | relations-de.txt 480-480 | |
| (format hi connected "%1 %2 se judaa huaa %n hai") | relations-hindi.txt 93-93 | |
| (format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2") | relations-ro.kif 229-229 | |
| (format sv connected "%1 är %n{inte} sammanlänkad med %2") | relations-sv.txt 226-226 | |
| (format tg connected "%1 %n ay nagkabit sa %2") | relations-tg.txt 120-120 | |
| (relatedInternalConcept meetsSpatially connected) | Merge.kif 9570-9570 | 相關的內部概念 空間的符合 and 連接的 |
| (subrelation connectedEngineeringComponents connected) | Merge.kif 16095-16095 | 子關係 連接的工程組件 and 連接的 |
| (subrelation overlapsSpatially connected) | Merge.kif 4033-4033 | 子關係 在空間上重疊 and 連接的 |
| (termFormat ChineseLanguage connected "相连") | chinese_format.kif 362-362 | |
| (termFormat ChineseLanguage connected "连接的") | domainEnglishFormat.kif 16638-16638 | |
| (termFormat ChineseTraditionalLanguage connected "連接的") | domainEnglishFormat.kif 16637-16637 | |
| (termFormat EnglishLanguage connected "connected") | domainEnglishFormat.kif 16636-16636 | |
| (termFormat tg connected "nagkabit") | relations-tg.txt 121-121 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9715-9720 | |
| (=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9554-9560 | |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
| (=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9521-9525 | |
| (=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2))) |
Merge.kif 12383-12397 | |
| (=> (and (instance ?BS1 BodySegment) (instance ?BS2 BodySegment) (connected ?BS1 ?BS2) (instance ?BM BodyMotion) (moves ?BM ?BS1)) (modalAttribute (not (exists (?BM2) (and (instance ?BM2 BodyMotion) (moves ?BM2 ?BS2) (during (WhenFn ?BM2) (WhenFn ?BM))))) Possibility)) |
Mid-level-ontology.kif 10577-10593 | |
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5330-5335 | |
| (=> (and (instance ?D Detaching) (patient ?D ?O1) (patient ?D ?O2) (holdsDuring (BeginFn (WhenFn ?D)) (connected ?O1 ?O2)) (holdsDuring (EndFn (WhenFn ?A)) (not (connected ?O1 ?O2)))) (and (objectDetached ?A ?O1) (objectDetached ?A ?O2))) |
Merge.kif 12431-12440 | |
| (=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M))) |
Merge.kif 17882-17892 | |
| (=> (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 5380-5395 |
|
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10046-10050 |
|
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9745-9751 | |
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9730-9735 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9509-9513 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17103-17107 | 方位 Object, Object and 鄰 方位 Object, Object and 近 連接的 Object and Object |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
| (=> (and (connectedBodyPart ?A ?B) (attribute ?H Healthy)) (exists (?AI ?BI) (and (instance ?AI ?A) (instance ?BI ?B) (part ?AI ?H) (part ?BI ?H) (connected ?AI ?BI)))) |
Mid-level-ontology.kif 11967-11977 | |
| (=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2)))) |
Anatomy.kif 32-46 | |
| (=> (and (instance ?ATTACH Attaching) (patient ?ATTACH ?OBJ1) (patient ?ATTACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?ATTACH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?ATTACH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 12360-12367 | |
| (=> (and (instance ?DETACH Detaching) (patient ?DETACH ?OBJ1) (patient ?DETACH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?DETACH)) (connected ?OBJ1 ?OBJ2)) (holdsDuring (EndFn (WhenFn ?DETACH)) (not (connected ?OBJ1 ?OBJ2))))) |
Merge.kif 12408-12415 | |
| (=> (and (instance ?DSAVE DataSaving) (resource ?DSAVE ?RES) (instance ?RES ElectronicDataStorageDevice)) (exists (?DEV) (and (instance ?DEV ElectricDevice) (instrument ?DSAVE ?DEV) (holdsDuring (WhenFn ?DSAVE) (connected ?RES ?DEV))))) |
Media.kif 690-700 | |
| (=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E)))) |
Mid-level-ontology.kif 10647-10657 | |
| (=> (and (instance ?F Flexion) (moves ?F ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?F ?M) (connected ?M ?BP) (subProcess ?MC ?F)))) |
Mid-level-ontology.kif 10607-10617 | |
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9515-9519 | |
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 2949-2957 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5661-5670 | |
| (=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?OBJ1) (patient ?TOUCH ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?TOUCH)) (not (connected ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?TOUCH)) (connected ?OBJ1 ?OBJ2)))) |
Merge.kif 11485-11492 | |
| (=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A)))) |
Mid-level-ontology.kif 3538-3547 |
|
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10046-10050 |
|
| (=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 2698-2714 | |
| (=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2)))) |
Cars.kif 383-396 |
|
| (=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 |
|
| (=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1)))) |
Merge.kif 10039-10044 |
|
| (=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9546-9552 | |
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 24327-24334 | |
| (=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 5442-5444 | |
| (=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 9935-9937 | |
| (=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C)))) |
Mid-level-ontology.kif 15366-15371 | |
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5129-5136 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| (connected GulfOfAden ArabianSea) | Geography.kif 5169-5169 | 連接的 腺嘌呤 and 阿拉伯海 |
| (connected GulfOfMexico CaribbeanSea) | Geography.kif 5177-5177 | 連接的 GulfOfMexico and 加勒比海 |
| (connected GulfOfMexico NorthAtlanticOcean) | Geography.kif 5176-5176 | 連接的 GulfOfMexico and 北大西洋 |
| (connected GulfOfOman ArabianSea) | Geography.kif 5161-5161 | 連接的 阿曼灣 and 阿拉伯海 |
| (connected IndianOcean PersianGulf) | Geography.kif 4631-4631 | 連接的 印度洋 and 波斯灣 |
| (connected IndianOcean SouthPacificOcean) | Geography.kif 4630-4630 | 連接的 印度洋 and 南太平洋 |
| (connected IndianOcean SouthernOcean) | Geography.kif 4632-4632 | 連接的 印度洋 and 南部海洋 |
| (connected MississippiRiver GulfOfMexico) | CountriesAndRegions.kif 744-744 | 連接的 密西西比河 and GulfOfMexico |
| (connected PersianGulf StraitOfHormuz) | Geography.kif 5154-5154 | 連接的 波斯灣 and 霍爾木茲海峽 |
| (connected RedSea GulfOfAden) | Geography.kif 5168-5168 | 連接的 紅海 and 腺嘌呤 |
| (connected StraitOfHormuz GulfOfOman) | Geography.kif 5160-5160 | 連接的 霍爾木茲海峽 and 阿曼灣 |
|
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