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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connects
connects

appearance as argument number 1
-------------------------


s__documentation(s__connects__m,s__ChineseLanguage,'"这是一个联系三样东西的关系,它出现在当三样东西之中的一个把 另外的两个联系起来的时候,更正规的说,(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?OBJ1 ?OBJ2)和(connected ?OBJ1 ?OBJ3),而不是(connected ?OBJ2 ?OBJ3)。"')

chinese_format.kif 2825-2827
s__documentation(s__connects__m,s__EnglishLanguage,'"The relationship between three things, when one of the three things connects the other two. More formally, (connects ?OBJ1 ?OBJ2 ?OBJ3) means that (connected ?OBJ1 ?OBJ2) and (connected ?OBJ1 ?OBJ3) and not (connected ?OBJ2 ?OBJ3)."')

Merge.kif 9165-9168
s__domain(s__connects__m,n__1,s__Object)

Merge.kif 9161-9161 The number 1 argument of connects is an instance of object
s__domain(s__connects__m,n__2,s__Object)

Merge.kif 9162-9162 The number 2 argument of connects is an instance of object
s__domain(s__connects__m,n__3,s__Object)

Merge.kif 9163-9163 The number 3 argument of connects is an instance of object
s__instance(s__connects__m,s__SpatialRelation)

s__instance(s__SpatialRelation,s__Class)

Merge.kif 9159-9159 connects is an instance of spatial relation
s__instance(s__TernaryPredicate,s__Class)

s__instance(s__connects__m,s__TernaryPredicate)

Merge.kif 9160-9160 connects is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__connects__m,'"%1 %n{doesnt} connects %2 和 %3"')

chinese_format.kif 363-363
s__format(s__EnglishLanguage,s__connects__m,'"%1 %n{doesnt} connect%p{s} %2 and %3"')

english_format.kif 366-366
s__subrelation(s__connectsEngineeringComponents__m,s__connects__m)

Merge.kif 15498-15498 connects engineering components is a subrelation of connects
s__termFormat(s__ChineseLanguage,s__connects__m,'"连接"')

chinese_format.kif 364-364
s__termFormat(s__ChineseTraditionalLanguage,s__connects__m,'"連接"')

domainEnglishFormat.kif 16652-16652
s__termFormat(s__EnglishLanguage,s__connects__m,'"connects"')

domainEnglishFormat.kif 16651-16651

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


( ! [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 9174-9180 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__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__between(V__OBJ2,V__OBJ1,V__OBJ3))
       &
       (s__between(V__OBJ2,V__OBJ1,V__OBJ3)
       =>
       s__connects(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 9170-9172 An object connects another object and a third object if and only if the object is between the other object and the third object
( ! [V__NODE2,V__NODE1,V__A,V__N1,V__N2,V__ARC] :
   (((s__instance(V__NODE2,s__Object) &
         s__instance(V__NODE1,s__Object) &
         s__instance(V__A,s__Object) &
         s__instance(V__N1,s__GraphNode) &
         s__instance(V__N2,s__GraphNode) &
         s__instance(V__ARC,s__GraphArc))
       =>
       (((s__connects(V__A,V__NODE1,V__NODE2)
           &
           s__abstractCounterpart(V__N1,V__NODE1)
         &
         s__abstractCounterpart(V__N2,V__NODE2)
       &
       s__abstractCounterpart(V__ARC,V__A))
   =>
   (s__links(V__N1,V__N2,V__ARC)))))
)
)

Transportation.kif 2877-2883
( ! [V__strait,V__body1,V__body2] :
   ((s__instance(V__strait,s__Object) =>
       (((s__instance(V__body1,s__BodyOfWater) &
             s__instance(V__body2,s__BodyOfWater) &
             s__connects(V__strait,V__body1,V__body2))
         =>
         (s__larger(V__body1,V__strait)))))
)
)

Geography.kif 5089-5094
( ! [V__NODE2,V__NODE1,V__ARC] :
   (((s__instance(V__NODE2,s__Object) &
         s__instance(V__NODE1,s__Object) &
         s__instance(V__ARC,s__Object))
       =>
       ((s__connects(V__ARC,V__NODE1,V__NODE2)
         =>
         (s__connects(V__ARC,V__NODE2,V__NODE1)))))
)
)

Merge.kif 9182-9184
( ! [V__BETWEEN,V__END1,V__END2] :
   (((s__instance(V__BETWEEN,s__Object) &
         s__instance(V__END1,s__Object) &
         s__instance(V__END2,s__Object))
       =>
       ((s__connects(V__BETWEEN,V__END1,V__END2)
         =>
         (~((V__END1 = V__END2))))))
   )
)

Geography.kif 5072-5074

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


( ! [V__LEVEL2,V__LEVEL1,V__BUILDING] :
   (((s__instance(V__LEVEL1,s__BuildingLevel) &
         s__instance(V__LEVEL2,s__BuildingLevel) &
         s__instance(V__BUILDING,s__Building) &
         s__part(V__LEVEL1,V__BUILDING)
       &
       s__part(V__LEVEL2,V__BUILDING))
   =>
   (( ? [V__STEPS] :
       ((s__instance(V__STEPS,s__Steps) &
           s__connects(V__STEPS,V__LEVEL1,V__LEVEL2))))))
)
)

Mid-level-ontology.kif 14396-14406
No TPTP formula. May not be expressible in strict first order. Merge.kif 11757-11763
( ! [V__S,V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__instance(V__S,s__Soldering) &
             s__patient(V__S,V__OBJ1)
           &
           s__patient(V__S,V__OBJ2)
         &
         ~((V__OBJ1 = V__OBJ2)))
       =>
       (( ? [V__A] :
           ((s__instance(V__A,s__MetallicAlloy) &
               s__connects(V__A,V__OBJ1,V__OBJ2))))))))
)
)

Mid-level-ontology.kif 5291-5300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14372-14384
( ! [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__NODE2,V__NODE1,V__ARC] :
   (((s__instance(V__NODE2,s__Object) &
         s__instance(V__NODE1,s__Object) &
         s__instance(V__ARC,s__Object))
       =>
       ((s__connects(V__ARC,V__NODE1,V__NODE2)
         =>
         (s__connects(V__ARC,V__NODE2,V__NODE1)))))
)
)

Merge.kif 9182-9184
( ! [V__C] :
   ((s__instance(V__C,s__Capillary) =>
       (( ? [V__A, V__V] :
           ((s__instance(V__A,s__Artery) &
               s__instance(V__V,s__Vein) &
               s__connects(V__C,V__A,V__V))))))
   )
)

Mid-level-ontology.kif 10552-10558
( ! [V__C] :
   ((s__instance(V__C,s__Curb) =>
       (( ? [V__S, V__R] :
           ((s__instance(V__S,s__Sidewalk) &
               s__instance(V__R,s__Roadway) &
               s__connects(V__C,V__S,V__R))))))
   )
)

Mid-level-ontology.kif 14350-14356
( ! [V__CHANNEL] :
   ((s__instance(V__CHANNEL,s__Canal) =>
       (( ? [V__WATER1, V__WATER2] :
           ((s__instance(V__WATER1,s__WaterArea) &
               s__instance(V__WATER2,s__WaterArea) &
               s__connects(V__CHANNEL,V__WATER1,V__WATER2))))))
   )
)

Geography.kif 5381-5387
( ! [V__CHANNEL] :
   ((s__instance(V__CHANNEL,s__Channel) =>
       (( ? [V__WATER1, V__WATER2] :
           ((s__instance(V__WATER1,s__WaterArea) &
               s__instance(V__WATER2,s__WaterArea) &
               s__connects(V__CHANNEL,V__WATER1,V__WATER2))))))
   )
)

Geography.kif 5106-5112
( ! [V__FORK] :
   ((s__instance(V__FORK,s__StreamWaterConfluence) =>
       (( ? [V__STREAM, V__BRANCH] :
           ((s__instance(V__STREAM,s__River) &
               s__instance(V__BRANCH,s__StreamWaterArea) &
               s__flows(V__BRANCH,V__STREAM)
             &
             s__connects(V__FORK,V__STREAM,V__BRANCH))))))
)
)

Geography.kif 5281-5288
( ! [V__FORK] :
   ((s__instance(V__FORK,s__StreamWaterConfluence) =>
       (( ? [V__STREAM1, V__STREAM2] :
           ((s__instance(V__STREAM1,s__StreamWaterArea) &
               s__connects(V__FORK,V__STREAM1,V__STREAM2)
             &
             s__instance(V__STREAM2,s__StreamWaterArea) &
             s__flows(V__STREAM1,V__STREAM2))))))
)
)

Geography.kif 5272-5279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14575-14583
( ! [V__J] :
   ((s__instance(V__J,s__BodyJoint) =>
       (( ? [V__S, V__P1, V__P2] :
           ((s__instance(V__P1,s__CorpuscularObject) &
               s__instance(V__P2,s__CorpuscularObject) &
               (s__instance(V__S,s__Skeleton) &
                 s__component(V__P1,V__S)
               &
               s__component(V__P2,V__S)
             &
             s__component(V__J,V__S)
           &
           s__connects(V__J,V__P1,V__P2)))))))
)
)

Mid-level-ontology.kif 11060-11068
( ! [V__JUNCT] :
   ((s__instance(V__JUNCT,s__BodyJunction) =>
       (( ? [V__OBJ1, V__OBJ2] :
           ((s__instance(V__OBJ1,s__BodyPart) &
               s__instance(V__OBJ2,s__BodyPart) &
               s__connects(V__JUNCT,V__OBJ1,V__OBJ2))))))
   )
)

Merge.kif 14446-14452
( ! [V__NOS] :
   ((s__instance(V__NOS,s__Nostril) =>
       (( ? [V__N, V__T] :
           ((s__instance(V__N,s__Nose) &
               s__instance(V__T,s__Throat) &
               s__connects(V__NOS,V__N,V__T))))))
   )
)

Mid-level-ontology.kif 10699-10705
( ! [V__SEA] :
   ((s__instance(V__SEA,s__Sea) =>
       (( ? [V__OCEAN, V__PATH] :
           ((s__instance(V__OCEAN,s__Ocean) &
               s__instance(V__PATH,s__WaterArea) &
               s__connects(V__PATH,V__OCEAN,V__SEA))))))
   )
)

Geography.kif 4572-4578
( ! [V__T] :
   ((s__instance(V__T,s__Tendon) =>
       (( ? [V__M, V__B] :
           ((s__instance(V__M,s__Muscle) &
               s__instance(V__B,s__Bone) &
               s__connects(V__T,V__M,V__B))))))
   )
)

Mid-level-ontology.kif 9021-9027
( ! [V__TL] :
   ((s__instance(V__TL,s__TelephoneLine) =>
       (( ? [V__T1, V__T2] :
           (((s__instance(V__T1,s__Telephone) |
                 s__instance(V__T1,s__Telegraph))
               &
               (s__instance(V__T2,s__Telephone) |
                 s__instance(V__T2,s__Telegraph))
               &
               ~((V__T1 = V__T2))
               &
               s__connects(V__TL,V__T1,V__T2))))))
   )
)

Mid-level-ontology.kif 3572-3583
( ! [V__X] :
   ((s__instance(V__X,s__WaterSkiing) =>
       (( ? [V__HUMAN, V__SKI, V__BOAT, V__LINE, V__WATER, V__TRANS, V__MOTION] :
           ((s__instance(V__LINE,s__Object) &
               (s__instance(V__BOAT,s__WaterVehicle) &
                 s__instance(V__WATER,s__WaterArea) &
                 s__instance(V__SKI,s__WaterSki) &
                 s__eventLocated(V__X,V__WATER)
               &
               s__instance(V__HUMAN,s__Human) &
               s__located(V__HUMAN,V__SKI)
             &
             s__connects(V__LINE,V__HUMAN,V__BOAT)
           &
           s__instance(V__TRANS,s__Transportation) &
           s__instrument(V__TRANS,V__BOAT)
         &
         s__instance(V__MOTION,s__Motion) &
         s__agent(V__MOTION,V__HUMAN)
       &
       s__instrument(V__MOTION,V__SKI)
     &
     s__causes(V__TRANS,V__MOTION)
   &
   s__subProcess(V__MOTION,V__X)))))))
)
)

Sports.kif 1174-1191
( ! [V__strait] :
   ((s__instance(V__strait,s__Strait) =>
       (( ? [V__body1, V__body2] :
           ((s__instance(V__body1,s__BodyOfWater) &
               s__instance(V__body2,s__BodyOfWater) &
               s__connects(V__strait,V__body1,V__body2))))))
   )
)

Geography.kif 5081-5087


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