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 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 Le nombre 1 argument de connected est une instance de objet
(domain connected 2 Object) Merge.kif 9640-9640 Le nombre 2 argument de connected est une instance de objet
(instance connected BinaryPredicate) Merge.kif 9635-9635 connected est une instance de pr�dicat binaire
(instance connected ReflexiveRelation) Merge.kif 9637-9637 connected est une instance de relation r�flexive
(instance connected SpatialRelation) Merge.kif 9636-9636 connected est une instance de relation spatial
(instance connected SymmetricRelation) Merge.kif 9638-9638 connected est une instance de relation sym�trique

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


(disjointRelation crosses connected) Merge.kif 4225-4225 crosses et connected sont disjoint
(format ChineseLanguage connected "%1 和 %2 %n 是 connected") chinese_format.kif 361-361 crosses et connected sont disjoint
(format EnglishLanguage connected "%1 is %n connected to %2") english_format.kif 364-364 crosses et connected sont disjoint
(format FrenchLanguage connected "%1 est %n connect� � %2") french_format.kif 209-209 crosses et connected sont disjoint
(format ItalianLanguage connected "%1 è %n connesso a %2") relations-it.txt 52-52 crosses et connected sont disjoint
(format JapaneseLanguage connected "%1 は %2 と connected して %n ") japanese_format.kif 2016-2016 crosses et connected sont disjoint
(format PortugueseLanguage connected "%1 e' %n conectado com %2") portuguese_format.kif 161-161 crosses et connected sont disjoint
(format cb connected "%1 %n ay ikabit sa %2") relations-cb.txt 86-86 crosses et connected sont disjoint
(format cz connected "%1 %p{je} %n{nen�} spojen s %2") relations-cz.txt 216-216 crosses et connected sont disjoint
(format de connected "%1 wird an %2 %n{nicht} angeschlossen") relations-de.txt 480-480 crosses et connected sont disjoint
(format hi connected "%1 %2 se judaa huaa %n hai") relations-hindi.txt 93-93 crosses et connected sont disjoint
(format ro connected "%1 %n{nu} este connected%t{îmbinat} cu %2") relations-ro.kif 229-229 crosses et connected sont disjoint
(format sv connected "%1 är %n{inte} sammanlänkad med %2") relations-sv.txt 226-226 crosses et connected sont disjoint
(format tg connected "%1 %n ay nagkabit sa %2") relations-tg.txt 120-120 crosses et connected sont disjoint
(relatedInternalConcept meetsSpatially connected) Merge.kif 9706-9706 meetsSpatially est reli� � l'int�rieur de SUMO � connected
(subrelation connectedEngineeringComponents connected) Merge.kif 16271-16271 connectedEngineeringComponents est une sous-relation de connected
(subrelation overlapsSpatially connected) Merge.kif 4049-4049 overlapsSpatially est une sous-relation de connected
(termFormat ChineseLanguage connected "相连") chinese_format.kif 362-362 overlapsSpatially est une sous-relation de connected
(termFormat ChineseLanguage connected "连接的") domainEnglishFormat.kif 16647-16647 overlapsSpatially est une sous-relation de connected
(termFormat ChineseTraditionalLanguage connected "連接的") domainEnglishFormat.kif 16646-16646 overlapsSpatially est une sous-relation de connected
(termFormat EnglishLanguage connected "connected") domainEnglishFormat.kif 16645-16645 overlapsSpatially est une sous-relation de connected
(termFormat de connected "angeschlossen") terms-de.txt 149-149 overlapsSpatially est une sous-relation de 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 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 Objet est Adjacent � objet objet est Near � objet objet est connect� � objet
(=>
    (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
-------------------------


(connected GulfOfAden ArabianSea) Geography.kif 5423-5423 GulfOfAden est connect� � ArabianSea
(connected GulfOfGuinea AtlanticOcean) Geography.kif 5439-5439 GulfOfGuinea est connect� � AtlanticOcean
(connected GulfOfLion MediterraneanSea) Geography.kif 5447-5447 GulfOfLion est connect� � MediterraneanSea
(connected GulfOfMexico CaribbeanSea) Geography.kif 5431-5431 GulfOfMexico est connect� � CaribbeanSea
(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 5430-5430 GulfOfMexico est connect� � NorthAtlanticOcean
(connected GulfOfOman ArabianSea) Geography.kif 5415-5415 GulfOfOman est connect� � ArabianSea
(connected IndianOcean PersianGulf) Geography.kif 4871-4871 IndianOcean est connect� � PersianGulf
(connected IndianOcean SouthPacificOcean) Geography.kif 4870-4870 IndianOcean est connect� � SouthPacificOcean
(connected IndianOcean SouthernOcean) Geography.kif 4872-4872 IndianOcean est connect� � SouthernOcean
(connected MississippiRiver GulfOfMexico) CountriesAndRegions.kif 744-744 MississippiRiver est connect� � GulfOfMexico
(connected PersianGulf StraitOfHormuz) Geography.kif 5408-5408 PersianGulf est connect� � StraitOfHormuz
(connected RedSea GulfOfAden) Geography.kif 5422-5422 RedSea est connect� � GulfOfAden
(connected StraitOfHormuz GulfOfOman) Geography.kif 5414-5414 StraitOfHormuz est connect� � GulfOfOman


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