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
-------------------------


s__documentation(s__connected__m,s__ChineseLanguage,'"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。"')

chinese_format.kif 2823-2824
s__documentation(s__connected__m,s__EnglishLanguage,'"(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2."')

Merge.kif 9100-9101
s__domain(s__connected__m,n__1,s__Object)

Merge.kif 9097-9097 The number 1 argument of connected is an instance of object
s__domain(s__connected__m,n__2,s__Object)

Merge.kif 9098-9098 The number 2 argument of connected is an instance of object
s__instance(s__connected__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 9093-9093 connected is an instance of binary predicate
s__instance(s__connected__m,s__ReflexiveRelation)

s__instance(s__ReflexiveRelation,s__SetOrClass)

Merge.kif 9095-9095 connected is an instance of reflexive relation
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__connected__m,s__SpatialRelation)

Merge.kif 9094-9094 connected is an instance of spatial relation
s__instance(s__SymmetricRelation,s__SetOrClass)

s__instance(s__connected__m,s__SymmetricRelation)

Merge.kif 9096-9096 connected is an instance of symmetric relation

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


s__disjointRelation(s__crosses__m,s__connected__m)

Merge.kif 4063-4063 crosses and connected are disjoint
s__format(s__ChineseLanguage,s__connected__m,'"%1 和 %2 %n 是 connected"')

chinese_format.kif 361-361
s__format(s__EnglishLanguage,s__connected__m,'"%1 is %n connected to %2"')

english_format.kif 367-367
s__relatedInternalConcept(s__meetsSpatially__m,s__connected__m)

Merge.kif 9147-9147 meets spatially is internally related to connected
s__subrelation(s__connectedEngineeringComponents__m,s__connected__m)

Merge.kif 15324-15324 connected engineering components is a subrelation of connected
s__subrelation(s__flows__m,s__connected__m)

Geography.kif 5219-5219 flows is a subrelation of connected
s__subrelation(s__overlapsSpatially__m,s__connected__m)

Merge.kif 9157-9157 overlaps spatially is a subrelation of connected
s__termFormat(s__ChineseLanguage,s__connected__m,'"相连"')

chinese_format.kif 362-362
s__termFormat(s__ChineseLanguage,s__connected__m,'"连接的"')

domainEnglishFormat.kif 16629-16629
s__termFormat(s__ChineseTraditionalLanguage,s__connected__m,'"連接的"')

domainEnglishFormat.kif 16628-16628
s__termFormat(s__EnglishLanguage,s__connected__m,'"connected"')

domainEnglishFormat.kif 16627-16627

antecedent
-------------------------


( ! [V__OBJECT,V__BOTTOM,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__bottom(V__BOTTOM,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__BOTTOM)))
     =>
     (s__orientation(V__PART,V__BOTTOM,s__Above)))))
)
)

Merge.kif 9286-9291
( ! [V__X,V__Y,V__Z] :
   (((s__instance(V__X,s__Object) &
         s__instance(V__Y,s__Object) &
         s__instance(V__Z,s__Object))
       =>
       (((s__connected(V__X,V__Y)
           &
           s__part(V__Y,V__Z))
       =>
       (s__connected(V__X,V__Z)))))
)
)

Geography.kif 514-518
No TPTP formula. May not be expressible in strict first order. Merge.kif 11761-11775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9585-9601
( ! [V__CHANNEL,V__BODY] :
   (((s__instance(V__CHANNEL,s__Channel) &
         s__instance(V__BODY,s__BodyOfWater) &
         s__connected(V__CHANNEL,V__BODY))
     =>
     (s__larger(V__BODY,V__CHANNEL)))
)
)

Geography.kif 5114-5119
No TPTP formula. May not be expressible in strict first order. Merge.kif 11809-11818
( ! [V__L1,V__L2] :
   (((s__instance(V__L1,s__Object) &
         s__attribute(V__L1,s__LongAndThin) &
         s__instance(V__L2,s__Object) &
         s__attribute(V__L2,s__LongAndThin) &
         s__connected(V__L1,V__L2)
       &
       ~((V__L1 = V__L2)))
     =>
     (( ? [V__M] :
         ((s__instance(V__M,s__PlaneAngleMeasure) &
             s__relativeAngle(V__L1,V__L2,V__M))))))
)
)

Merge.kif 17060-17070
( ! [V__WATER1,V__WATER2,V__SYSTEM] :
   (((s__instance(V__SYSTEM,s__InlandWaterSystem) &
         s__instance(V__WATER1,s__WaterArea) &
         s__instance(V__WATER2,s__WaterArea) &
         ~((V__WATER1 = V__WATER2))
         &
         ~(s__connected(V__WATER1,V__WATER2))
       &
       s__geographicSubregion(V__WATER1,V__SYSTEM)
     &
     s__geographicSubregion(V__WATER2,V__SYSTEM))
=>
(( ? [V__WATER3] :
     ((s__instance(V__WATER3,s__WaterArea) &
         ~((V__WATER3 = V__WATER1))
         &
         ~((V__WATER3 = V__WATER1))
         &
         s__part(V__WATER3,V__SYSTEM)
       &
       s__connects(V__WATER3,V__WATER1,V__WATER2))))))
)
)

Geography.kif 5164-5179
( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__properlyFills(V__OBJ1,V__HOLE)
           &
           s__connected(V__OBJ2,V__OBJ1))
       =>
       (s__connected(V__HOLE,V__OBJ2)))))
)
)

Merge.kif 9623-9627
( ! [V__OBJECT,V__SIDE,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__SIDE,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__side(V__SIDE,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__SIDE)))
     =>
     (( ? [V__DIRECT] :
         ((s__instance(V__DIRECT,s__PositionalAttribute) &
             s__orientation(V__SIDE,V__PART,V__DIRECT))))))))
)
)

Merge.kif 9316-9322
( ! [V__OBJECT,V__TOP,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__top(V__TOP,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__TOP)))
     =>
     (s__orientation(V__PART,V__TOP,s__Below)))))
)
)

Merge.kif 9301-9306
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__connected(V__OBJ1,V__OBJ2)
         =>
         ((s__meetsSpatially(V__OBJ1,V__OBJ2)
           |
           s__overlapsSpatially(V__OBJ1,V__OBJ2))))))
)
)

Merge.kif 9103-9107

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


( ! [V__OBJ1,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((s__connects(V__OBJ1,V__OBJ2,V__OBJ3)
           =>
           (s__connected(V__OBJ1,V__OBJ2)
           &
           s__connected(V__OBJ1,V__OBJ3)
         &
         ~(s__connected(V__OBJ2,V__OBJ3))))
   &
   ((s__connected(V__OBJ1,V__OBJ2)
     &
     s__connected(V__OBJ1,V__OBJ3)
   &
   ~(s__connected(V__OBJ2,V__OBJ3)))
=>
s__connects(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 9131-9137 An object connects another object and a third object if and only if the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
( ! [V__OBJ] :
   (((s__instance(V__OBJ,s__SelfConnectedObject) =>
         ( ! [V__PART1, V__PART2] :
           (((s__instance(V__PART1,s__Object) &
                 s__instance(V__PART2,s__Object))
               =>
               (((V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2))
                 =>
                 (s__connected(V__PART1,V__PART2))))))))
   &
   (( ! [V__PART1, V__PART2] :
       (((s__instance(V__PART1,s__Object) &
             s__instance(V__PART2,s__Object))
           =>
           (((V__OBJ = s__MereologicalSumFn(V__PART1,V__PART2))
             =>
             (s__connected(V__PART1,V__PART2)))))))
=>
s__instance(V__OBJ,s__SelfConnectedObject)))
)
)

Merge.kif 9109-9114 An object is an instance of self connected object if and only if for all another object and a third object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__Near) |
               s__connected(V__OBJ1,V__OBJ2)))
         &
         ((s__orientation(V__OBJ1,V__OBJ2,s__Near) |
             s__connected(V__OBJ1,V__OBJ2))
         =>
         s__orientation(V__OBJ1,V__OBJ2,s__Adjacent)))))
)
)

Merge.kif 16316-16320 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
( ! [V__X,V__Y,V__Z] :
   (((s__instance(V__X,s__Object) &
         s__instance(V__Y,s__Object) &
         s__instance(V__Z,s__Object))
       =>
       (((s__connected(V__X,V__Y)
           &
           s__part(V__Y,V__Z))
       =>
       (s__connected(V__X,V__Z)))))
)
)

Geography.kif 514-518
( ! [V__A,V__B,V__G,V__H] :
   (((s__subclass(V__A,s__BodyPart) &
         s__instance(V__A,s__Class) &
         s__subclass(V__B,s__BodyPart) &
         s__instance(V__B,s__Class) &
         s__instance(V__G,s__Object) &
         s__instance(V__H,s__Object))
       =>
       (((s__connectedBodyPart(V__A,V__B)
           &
           s__attribute(V__H,s__Healthy))
         =>
         (( ? [V__AI, V__BI] :
             ((s__instance(V__AI,s__Object) &
                 s__instance(V__BI,s__Object) &
                 (s__instance(V__AI,V__A)
                 &
                 s__instance(V__BI,V__B)
               &
               s__part(V__AI,V__G)
             &
             s__part(V__BI,V__H)
           &
           s__connected(V__AI,V__BI)))))))))
)
)

Mid-level-ontology.kif 10918-10928
No TPTP formula. May not be expressible in strict first order. Merge.kif 11738-11745
No TPTP formula. May not be expressible in strict first order. Merge.kif 11786-11793
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
( ! [V__E,V__BP] :
   ((s__instance(V__BP,s__Object) =>
       (((s__instance(V__E,s__Extension) &
             s__moves(V__E,V__BP))
         =>
         (( ? [V__M, V__MC] :
             ((s__instance(V__M,s__Muscle) &
                 s__instance(V__MC,s__MuscularContraction) &
                 s__instrument(V__E,V__M)
               &
               s__connected(V__M,V__BP)
             &
             s__subProcess(V__MC,V__E))))))))
)
)

Mid-level-ontology.kif 9655-9665
( ! [V__F,V__BP] :
   ((s__instance(V__BP,s__Object) =>
       (((s__instance(V__F,s__Flexion) &
             s__moves(V__F,V__BP))
         =>
         (( ? [V__M, V__MC] :
             ((s__instance(V__M,s__Muscle) &
                 s__instance(V__MC,s__MuscularContraction) &
                 s__instrument(V__F,V__M)
               &
               s__connected(V__M,V__BP)
             &
             s__subProcess(V__MC,V__F))))))))
)
)

Mid-level-ontology.kif 9615-9625
( ! [V__PORT] :
   (((s__instance(V__PORT,s__PortFacility) &
         s__capability(s__ShipBerthing,s__patient__m,V__PORT))
     =>
     (( ? [V__HARBOR] :
         ((s__instance(V__HARBOR,s__Harbor) &
             s__connected(V__HARBOR,V__PORT)
           &
           s__capability(s__ShipBerthing,s__path__m,V__HARBOR))))))
)
)

Transportation.kif 2956-2964
( ! [V__WATER,V__RIVER] :
   (((s__instance(V__RIVER,s__River) &
         s__instance(V__WATER,s__BodyOfWater) &
         s__flows(V__RIVER,V__WATER))
     =>
     (( ? [V__MOUTH] :
         ((s__instance(V__MOUTH,s__RiverMouth) &
             s__streamOutfall(V__MOUTH,V__RIVER)
           &
           s__connected(V__MOUTH,V__WATER))))))
)
)

Geography.kif 5443-5452
No TPTP formula. May not be expressible in strict first order. Merge.kif 10958-10965
( ! [V__V,V__W] :
   (((s__instance(V__W,s__VehicleWheel) &
         s__instance(V__V,s__RoadVehicle) &
         s__part(V__W,V__V))
     =>
     (( ? [V__A] :
         ((s__instance(V__A,s__Axle) &
             s__component(V__A,V__V)
           &
           s__connected(V__W,V__A))))))
)
)

Mid-level-ontology.kif 3472-3481
( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__properlyFills(V__OBJ1,V__HOLE)
           &
           s__connected(V__OBJ2,V__OBJ1))
       =>
       (s__connected(V__HOLE,V__OBJ2)))))
)
)

Merge.kif 9623-9627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2635-2651
( ! [V__P1,V__P2,V__X,V__PM] :
   (((s__instance(V__P1,s__RealNumber) &
         s__instance(V__P2,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__PM,s__UnitOfMeasure))
       =>
       ((s__attribute(V__X,s__PartialVacuum) =>
           (( ? [V__O, V__G] :
               ((s__instance(V__O,s__SelfConnectedObject) &
                   s__instance(V__G,s__Region) &
                   ~((V__G = V__X))
                   &
                   s__connected(V__X,V__O)
                 &
                 s__connected(V__G,V__O)
               &
               s__measure(V__G,s__MeasureFn(V__P1,V__PM))
           &
           s__measure(V__X,s__MeasureFn(V__P2,V__PM))
       &
       s__instance(V__PM,s__UnitOfAtmosphericPressure) &
       s__greaterThan(V__P1,V__P2))))))))
)
)

Cars.kif 383-396
( ! [V__P1,V__P2,V__X,V__PM] :
   (((s__instance(V__P1,s__RealNumber) &
         s__instance(V__P2,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__PM,s__UnitOfMeasure))
       =>
       ((s__attribute(V__X,s__Pressurized) =>
           (( ? [V__O, V__G] :
               ((s__instance(V__O,s__SelfConnectedObject) &
                   s__instance(V__G,s__Region) &
                   ~((V__G = V__X))
                   &
                   s__connected(V__X,V__O)
                 &
                 s__connected(V__G,V__O)
               &
               s__measure(V__G,s__MeasureFn(V__P1,V__PM))
           &
           s__measure(V__X,s__MeasureFn(V__P2,V__PM))
       &
       s__instance(V__PM,s__UnitOfAtmosphericPressure) &
       s__greaterThan(V__P2,V__P1))))))))
)
)

Cars.kif 403-416
( ! [V__OBJ1,V__HOLE] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Object))
       =>
       ((s__completelyFills(V__OBJ1,V__HOLE)
         =>
         (( ! [V__OBJ2] :
             ((s__instance(V__OBJ2,s__Object) =>
                 ((s__connected(V__OBJ2,V__HOLE)
                   =>
                   (s__connected(V__OBJ2,V__OBJ1)))))))))))
)
)

Merge.kif 9616-9621
( ! [V__O,V__T] :
   (((s__instance(V__O,s__Artifact) &
         s__instance(V__T,s__Device) &
         s__instance(V__T,s__Class))
       =>
       ((s__equipmentType(V__O,V__T)
         =>
         (( ? [V__D] :
             ((s__instance(V__D,s__Object) &
                 (s__instance(V__D,V__T)
                 &
                 (s__part(V__D,V__O)
                 |
                 s__connected(V__D,V__O))))))))))
)
)

Mid-level-ontology.kif 23003-23010
( ! [V__FLUID1,V__FLUID2] :
   (((s__instance(V__FLUID1,s__Object) &
         s__instance(V__FLUID2,s__Object))
       =>
       ((s__flows(V__FLUID1,V__FLUID2)
         =>
         (s__connected(V__FLUID1,V__FLUID2)))))
)
)

Geography.kif 5225-5227
( ! [V__OBJ,V__HOLE] :
   (((s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__HOLE,s__Hole))
       =>
       ((s__hole(V__HOLE,V__OBJ)
         =>
         (s__connected(V__HOLE,V__OBJ)))))
)
)

Merge.kif 9503-9505
( ! [V__F] :
   ((s__instance(V__F,s__Fireplace) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__Chimney) &
               s__connected(V__F,V__C))))))
   )
)

Mid-level-ontology.kif 14182-14187
( ! [V__GULF] :
   ((s__instance(V__GULF,s__Gulf) =>
       (( ? [V__SEA] :
           (((s__instance(V__SEA,s__Sea) |
                 s__instance(V__SEA,s__Ocean))
               &
               s__connected(V__GULF,V__SEA))))))
   )
)

Geography.kif 4913-4920
( ! [V__INLET] :
   ((s__instance(V__INLET,s__Inlet) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__connected(V__INLET,V__WATER))))))
   )
)

Geography.kif 5016-5021

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


s__connected(s__GulfOfAden,s__ArabianSea)

Geography.kif 4953-4953 Gulf of aden is connected to arabian sea
s__connected(s__GulfOfMexico,s__CaribbeanSea)

Geography.kif 4961-4961 GulfOfMexico is connected to caribbean sea
s__connected(s__GulfOfMexico,s__NorthAtlanticOcean)

Geography.kif 4960-4960 GulfOfMexico is connected to north atlantic ocean
s__connected(s__GulfOfOman,s__ArabianSea)

Geography.kif 4945-4945 Gulf of oman is connected to arabian sea
s__connected(s__IndianOcean,s__PersianGulf)

Geography.kif 4446-4446 Indian ocean is connected to persian gulf
s__connected(s__IndianOcean,s__SouthPacificOcean)

Geography.kif 4445-4445 Indian ocean is connected to south pacific ocean
s__connected(s__IndianOcean,s__SouthernOcean)

Geography.kif 4447-4447 Indian ocean is connected to southern ocean
s__connected(s__MississippiRiver,s__GulfOfMexico)

CountriesAndRegions.kif 744-744 Mississippi river is connected to GulfOfMexico
s__connected(s__PersianGulf,s__StraitOfHormuz)

Geography.kif 4938-4938 Persian gulf is connected to strait of hormuz
s__connected(s__RedSea,s__GulfOfAden)

Geography.kif 4952-4952 Red sea is connected to gulf of aden
s__connected(s__StraitOfHormuz,s__GulfOfOman)

Geography.kif 4944-4944 Strait of hormuz is connected to gulf of oman


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