| 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 9642-9643 | |
| (documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。") | japanese_format.kif 1565-1566 | |
| (domain connected 1 Object) | Merge.kif 9639-9639 | connected の数値 1 引数は オブジェクト の instance では |
| (domain connected 2 Object) | Merge.kif 9640-9640 | connected の数値 2 引数は オブジェクト の instance では |
| (instance connected BinaryPredicate) | Merge.kif 9635-9635 | connected は 2進述語 の instance では |
| (instance connected ReflexiveRelation) | Merge.kif 9637-9637 | connected は 反射関係 の instance では |
| (instance connected SpatialRelation) | Merge.kif 9636-9636 | connected は 空間的関係 の instance では |
| (instance connected SymmetricRelation) | Merge.kif 9638-9638 | connected は 対称関係 の instance では |
| appearance as argument number 2 |
|
|
| (disjointRelation crosses connected) | Merge.kif 4225-4225 | crosses と connected は disjoint では |
| (format ChineseLanguage connected "%1 和 %2 %n 是 connected") | chinese_format.kif 361-361 | crosses と connected は disjoint では |
| (format EnglishLanguage connected "%1 is %n connected to %2") | english_format.kif 364-364 | crosses と connected は disjoint では |
| (format FrenchLanguage connected "%1 est %n connect� � %2") | french_format.kif 209-209 | crosses と connected は disjoint では |
| (format ItalianLanguage connected "%1 è %n connesso a %2") | relations-it.txt 52-52 | crosses と connected は disjoint では |
| (format JapaneseLanguage connected "%1 は %2 と connected して %n ") | japanese_format.kif 2016-2016 | crosses と connected は disjoint では |
| (format PortugueseLanguage connected "%1 e' %n conectado com %2") | portuguese_format.kif 161-161 | crosses と connected は disjoint では |
| (format cb connected "%1 %n ay ikabit sa %2") | relations-cb.txt 86-86 | crosses と connected は disjoint では |
| (format cz connected "%1 %p{je} %n{nen�} spojen s %2") | relations-cz.txt 216-216 | crosses と connected は disjoint では |
| (format de connected "%1 wird an %2 %n{nicht} angeschlossen") | relations-de.txt 480-480 | crosses と connected は disjoint では |
| (format hi connected "%1 %2 se judaa huaa %n hai") | relations-hindi.txt 93-93 | crosses と connected は disjoint では |
| (format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2") | relations-ro.kif 229-229 | crosses と connected は disjoint では |
| (format sv connected "%1 är %n{inte} sammanlänkad med %2") | relations-sv.txt 226-226 | crosses と connected は disjoint では |
| (format tg connected "%1 %n ay nagkabit sa %2") | relations-tg.txt 120-120 | crosses と connected は disjoint では |
| (relatedInternalConcept meetsSpatially connected) | Merge.kif 9706-9706 | meetsSpatially は connected に internally 関連して |
| (subrelation connectedEngineeringComponents connected) | Merge.kif 16271-16271 | connectedEngineeringComponents は connected の subrelation では |
| (subrelation overlapsSpatially connected) | Merge.kif 4049-4049 | overlapsSpatially は connected の subrelation では |
| (termFormat ChineseLanguage connected "相连") | chinese_format.kif 362-362 | overlapsSpatially は connected の subrelation では |
| (termFormat ChineseLanguage connected "连接的") | domainEnglishFormat.kif 16647-16647 | overlapsSpatially は connected の subrelation では |
| (termFormat ChineseTraditionalLanguage connected "連接的") | domainEnglishFormat.kif 16646-16646 | overlapsSpatially は connected の subrelation では |
| (termFormat EnglishLanguage connected "connected") | domainEnglishFormat.kif 16645-16645 | overlapsSpatially は connected の subrelation では |
| (termFormat de connected "angeschlossen") | terms-de.txt 149-149 | overlapsSpatially は connected の subrelation では |
| 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 9853-9858 |
|
| (=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9690-9696 | |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 684-688 | |
| (=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9657-9661 | |
| (=> (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 12535-12549 | |
| (=> (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 11908-11924 |
|
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5633-5638 | |
| (=> (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 12585-12594 | |
| (=> (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 18065-18075 | |
| (=> (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 5683-5698 |
|
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10186-10190 |
|
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9883-9890 |
|
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9868-9873 |
|
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9645-9649 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17278-17282 | オブジェクト は Adjacent 対 オブジェクト では オブジェクト は Near 対 オブジェクト では オブジェクト は オブジェクト と connected して |
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 684-688 | |
| (=> (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 13298-13308 | |
| (=> (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 12510-12517 | |
| (=> (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 12560-12567 | |
| (=> (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 11978-11988 | |
| (=> (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 11938-11948 | |
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9651-9655 | |
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3787-3795 | |
| (=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 576-589 | |
| (=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))) |
Anatomy.kif 520-532 | |
| (=> (and (instance ?R LumbarVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S LumbarVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 616-629 | |
| (=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 684-697 | |
| (=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 507-518 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5964-5973 | |
| (=> (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 11635-11642 | |
| (=> (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 3981-3990 | |
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10186-10190 |
|
| (=> (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 3161-3177 |
|
| (=> (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 10179-10184 |
|
| (=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9682-9688 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
|
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