Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - connected
connected

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 9664-9665
(documentation connected JapaneseLanguage "(connected ?OBJ1 ?OBJ2) とは、?OBJ1 meetsSpatially ?OBJ2または ?OBJ1 overlapsSpatially ?OBJ2 という意味である。") japanese_format.kif 1565-1566
(domain connected 1 Object) Merge.kif 9661-9661 The number 1 argument of connected is an instance of object
(domain connected 2 Object) Merge.kif 9662-9662 The number 2 argument of connected is an instance of object
(instance connected BinaryPredicate) Merge.kif 9657-9657 connected is an instance of binary predicate
(instance connected ReflexiveRelation) Merge.kif 9659-9659 connected is an instance of reflexive relation
(instance connected SpatialRelation) Merge.kif 9658-9658 connected is an instance of spatial relation
(instance connected SymmetricRelation) Merge.kif 9660-9660 connected is an instance of symmetric relation

appearance as argument number 2
-------------------------


(disjointRelation crosses connected) Merge.kif 4250-4250 crosses and connected are disjoint
(format ChineseLanguage connected "%1 和 %2 %n 是 connected") chinese_format.kif 361-361 crosses and connected are disjoint
(format EnglishLanguage connected "%1 is %n connected to %2") english_format.kif 364-364 crosses and connected are disjoint
(format FrenchLanguage connected "%1 est %n connect� � %2") french_format.kif 209-209 crosses and connected are disjoint
(format ItalianLanguage connected "%1 è %n connesso a %2") relations-it.txt 52-52 crosses and connected are disjoint
(format JapaneseLanguage connected "%1 は %2 と connected して %n ") japanese_format.kif 2016-2016 crosses and connected are disjoint
(format PortugueseLanguage connected "%1 e' %n conectado com %2") portuguese_format.kif 161-161 crosses and connected are disjoint
(format cb connected "%1 %n ay ikabit sa %2") relations-cb.txt 86-86 crosses and connected are disjoint
(format cz connected "%1 %p{je} %n{nen�} spojen s %2") relations-cz.txt 216-216 crosses and connected are disjoint
(format de connected "%1 wird an %2 %n{nicht} angeschlossen") relations-de.txt 480-480 crosses and connected are disjoint
(format hi connected "%1 %2 se judaa huaa %n hai") relations-hindi.txt 93-93 crosses and connected are disjoint
(format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2") relations-ro.kif 229-229 crosses and connected are disjoint
(format sv connected "%1 är %n{inte} sammanlänkad med %2") relations-sv.txt 226-226 crosses and connected are disjoint
(format tg connected "%1 %n ay nagkabit sa %2") relations-tg.txt 120-120 crosses and connected are disjoint
(relatedInternalConcept connectedRegions connected) Geography.kif 598-598 connected regions is internally related to connected
(relatedInternalConcept disconnected connected) Geography.kif 630-630 disconnected is internally related to connected
(relatedInternalConcept meetsSpatially connected) Merge.kif 9728-9728 meets spatially is internally related to connected
(subrelation connectedEngineeringComponents connected) Merge.kif 16293-16293 connected engineering components is a subrelation of connected
(subrelation overlapsSpatially connected) Merge.kif 4074-4074 overlap spatially is a subrelation of connected
(termFormat ChineseLanguage connected "相连") chinese_format.kif 362-362 overlap spatially is a subrelation of connected
(termFormat ChineseLanguage connected "连接的") domainEnglishFormat.kif 16646-16646 overlap spatially is a subrelation of connected
(termFormat ChineseTraditionalLanguage connected "連接的") domainEnglishFormat.kif 16645-16645 overlap spatially is a subrelation of connected

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 9875-9880
(=>
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3)))
    (connects ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 9712-9718
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 1994-1998
(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))		 Merge.kif 9679-9683
(=>
    (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 12557-12571
(=>
    (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 11902-11918
(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 6945-6950
(=>
    (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 12607-12616
(=>
    (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 18087-18097
(=>
    (and
        (instance ?R1 Region)
        (instance ?R2 Region)
        (connected ?R1 ?R2))
    (connectedRegions ?R1 ?R2))		 Geography.kif 604-609
(=>
    (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 6995-7010
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))		 Merge.kif 10208-10212
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9905-9912
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9890-9895
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9667-9671

consequent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 17300-17304 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 1994-1998
(=>
    (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 13292-13302
(=>
    (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 12532-12539
(=>
    (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 12582-12589
(=>
    (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 11972-11982
(=>
    (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 11932-11942
(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9673-9677
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))		 Transportation.kif 3783-3791
(=>
    (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 7276-7285
(=>
    (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 11657-11664
(=>
    (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
        (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)
            (connected ?M ?BP))))		 Anatomy.kif 1778-1789
(=>
    (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)
            (connected ?M ?BP))))		 Anatomy.kif 1728-1739
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))		 Merge.kif 10208-10212
(=>
    (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

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 6735-6735 Gulf of aden is connected to arabian sea
(connected GulfOfGuinea AtlanticOcean) Geography.kif 6751-6751 Gulf Of Guinea is connected to atlantic ocean
(connected GulfOfLion MediterraneanSea) Geography.kif 6759-6759 Gulf Of Lion is connected to mediterranean sea
(connected GulfOfMexico CaribbeanSea) Geography.kif 6743-6743 Gulf of mexico is connected to caribbean sea
(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 6742-6742 Gulf of mexico is connected to north atlantic ocean
(connected GulfOfOman ArabianSea) Geography.kif 6727-6727 Gulf of oman is connected to arabian sea
(connected IndianOcean PersianGulf) Geography.kif 6183-6183 Indian ocean is connected to persian gulf
(connected IndianOcean SouthPacificOcean) Geography.kif 6182-6182 Indian ocean is connected to south pacific ocean
(connected IndianOcean SouthernOcean) Geography.kif 6184-6184 Indian ocean is connected to southern ocean
(connected MississippiRiver GulfOfMexico) CountriesAndRegions.kif 744-744 Mississippi river is connected to Gulf of mexico
(connected PersianGulf StraitOfHormuz) Geography.kif 6720-6720 Persian gulf is connected to strait of hormuz
(connected RedSea GulfOfAden) Geography.kif 6734-6734 Red sea is connected to gulf of aden
(connected StraitOfHormuz GulfOfOman) Geography.kif 6726-6726 Strait of hormuz is connected to gulf of oman
(connected TransverseRanges CaliforniaCoastRanges) Geography.kif 1290-1290 Transverse Ranges is connected to California Coast Ranges


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