| 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 9552-9553 | |
| (documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。") | japanese_format.kif 1565-1566 | |
| (domain connected 1 Object) | Merge.kif 9549-9549 | |
| (domain connected 2 Object) | Merge.kif 9550-9550 | |
| (instance connected BinaryPredicate) | Merge.kif 9545-9545 | |
| (instance connected ReflexiveRelation) | Merge.kif 9547-9547 | |
| (instance connected SpatialRelation) | Merge.kif 9546-9546 | |
| (instance connected SymmetricRelation) | Merge.kif 9548-9548 |
| appearance as argument number 2 |
|
|
| (disjointRelation crosses connected) | Merge.kif 4200-4200 | |
| (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 9616-9616 | |
| (subrelation connectedEngineeringComponents connected) | Merge.kif 16173-16173 | |
| (subrelation overlapsSpatially connected) | Merge.kif 4033-4033 | |
| (termFormat ChineseLanguage connected "相连") | chinese_format.kif 362-362 | |
| (termFormat ChineseLanguage connected "连接的") | domainEnglishFormat.kif 16649-16649 | |
| (termFormat ChineseTraditionalLanguage connected "連接的") | domainEnglishFormat.kif 16648-16648 | |
| (termFormat EnglishLanguage connected "connected") | domainEnglishFormat.kif 16647-16647 | |
| (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 9761-9766 | |
| (=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9600-9606 | |
| (=> (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 9567-9571 | |
| (=> (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 12439-12453 | |
| (=> (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 10795-10811 | |
| (=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5306-5311 | |
| (=> (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 12487-12496 | |
| (=> (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 17967-17977 | |
| (=> (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 (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10092-10096 | |
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9791-9798 | |
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9776-9781 | |
| (=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9555-9559 |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17180-17184 | |
| (=> (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 12185-12195 | |
| (=> (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 12416-12423 | |
| (=> (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 12464-12471 | |
| (=> (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 10865-10875 | |
| (=> (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 10825-10835 | |
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9561-9565 | |
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3781-3789 | |
| (=> (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 561-574 | |
| (=> (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 505-517 | |
| (=> (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 601-614 | |
| (=> (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 669-682 | |
| (=> (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 492-503 | |
| (=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER)))) |
Geography.kif 5637-5646 | |
| (=> (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 11541-11548 | |
| (=> (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 3531-3540 | |
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10092-10096 | |
| (=> (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 2691-2707 | |
| (=> (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 10085-10090 | |
| (=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9592-9598 | |
| 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 5145-5145 | |
| (connected GulfOfMexico CaribbeanSea) | Geography.kif 5153-5153 | |
| (connected GulfOfMexico NorthAtlanticOcean) | Geography.kif 5152-5152 | |
| (connected GulfOfOman ArabianSea) | Geography.kif 5137-5137 | |
| (connected IndianOcean PersianGulf) | Geography.kif 4607-4607 | |
| (connected IndianOcean SouthPacificOcean) | Geography.kif 4606-4606 | |
| (connected IndianOcean SouthernOcean) | Geography.kif 4608-4608 | |
| (connected MississippiRiver GulfOfMexico) | CountriesAndRegions.kif 744-744 | |
| (connected PersianGulf StraitOfHormuz) | Geography.kif 5130-5130 | |
| (connected RedSea GulfOfAden) | Geography.kif 5144-5144 | |
| (connected StraitOfHormuz GulfOfOman) | Geography.kif 5136-5136 |
|
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