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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectsEngineeringComponents
connectsEngineeringComponents

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


s__documentation(s__connectsEngineeringComponents__m,s__ChineseLanguage,'"connectsEngineeringComponents 是一种 TernaryPredicate,它把一个 EngineeringConnection 和它连接的 EngineeringComponent 联系。因为 EngineeringComponent 不能和自身连接,而又容许出现 没有 connectedEngineeringComponents PredicateEngineeringConnection,所以任何 connectsEngineeringComponents 关系的第二和第三个参数一定需有和第一个参数不同。"')

chinese_format.kif 4056-4060
s__documentation(s__connectsEngineeringComponents__m,s__EnglishLanguage,'"connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument."')

Merge.kif 15386-15392
s__domain(s__connectsEngineeringComponents__m,n__1,s__EngineeringConnection)

Merge.kif 15383-15383 The number 1 argument of connects engineering components is an instance of engineering connection
s__domain(s__connectsEngineeringComponents__m,n__2,s__EngineeringComponent)

Merge.kif 15384-15384 The number 2 argument of connects engineering components is an instance of engineering component
s__domain(s__connectsEngineeringComponents__m,n__3,s__EngineeringComponent)

Merge.kif 15385-15385 The number 3 argument of connects engineering components is an instance of engineering component
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__connectsEngineeringComponents__m,s__TernaryPredicate)

Merge.kif 15382-15382 connects engineering components is an instance of ternary predicate
s__subrelation(s__connectsEngineeringComponents__m,s__connects__m)

Merge.kif 15381-15381 connects engineering components is a subrelation of connects

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


s__format(s__ChineseLanguage,s__connectsEngineeringComponents__m,'"%1 %n connects %2 和 %3"')

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

english_format.kif 551-551
s__termFormat(s__ChineseLanguage,s__connectsEngineeringComponents__m,'"连接工程子组件"')

chinese_format.kif 544-544
s__termFormat(s__ChineseLanguage,s__connectsEngineeringComponents__m,'"连接工程组件"')

domainEnglishFormat.kif 16659-16659
s__termFormat(s__ChineseTraditionalLanguage,s__connectsEngineeringComponents__m,'"連接工程組件"')

domainEnglishFormat.kif 16658-16658
s__termFormat(s__EnglishLanguage,s__connectsEngineeringComponents__m,'"connects engineering components"')

domainEnglishFormat.kif 16657-16657

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


( ! [V__DEVICE,V__CONN,V__AP] :
   (((s__instance(V__DEVICE,s__EngineeringComponent) &
         s__instance(V__CONN,s__EngineeringConnection))
       =>
       (((s__connectsEngineeringComponents(V__CONN,V__DEVICE,V__AP)
           &
           s__instance(V__AP,s__InternetAccessPoint))
         =>
         (s__instance(V__CONN,s__InternetConnection)))))
   )
)

Hotel.kif 1357-1361

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


( ! [V__COMP2,V__COMP1] :
   (((s__instance(V__COMP2,s__EngineeringComponent) &
         s__instance(V__COMP1,s__EngineeringComponent))
       =>
       (((s__connectedEngineeringComponents(V__COMP1,V__COMP2)
           =>
           ( ? [V__CONNECTION] :
             ((s__instance(V__CONNECTION,s__EngineeringConnection) &
                 s__connectsEngineeringComponents(V__CONNECTION,V__COMP1,V__COMP2)))))
       &
       (( ? [V__CONNECTION] :
           ((s__instance(V__CONNECTION,s__EngineeringConnection) &
               s__connectsEngineeringComponents(V__CONNECTION,V__COMP1,V__COMP2))))
       =>
       s__connectedEngineeringComponents(V__COMP1,V__COMP2)))))
)
)

Merge.kif 15376-15379 An engineering component is connected to another engineering component if and only if there exists an engineering connection such that the engineering connection connects the engineering component and the other engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24106-24115
( ! [V__CONNECTION] :
   ((s__instance(V__CONNECTION,s__EngineeringConnection) =>
       (( ? [V__COMP1, V__COMP2] :
           ((s__instance(V__COMP1,s__EngineeringComponent) &
               s__instance(V__COMP2,s__EngineeringComponent) &
               s__connectsEngineeringComponents(V__CONNECTION,V__COMP1,V__COMP2))))))
   )
)

Merge.kif 15364-15367
( ! [V__X] :
   ((s__instance(V__X,s__CordedTelephone) =>
       (( ? [V__HANDSET, V__CRADLE, V__WIRE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           s__instance(V__WIRE,s__WireLine) &
           s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))
)
)

Communications.kif 78-87
( ! [V__X] :
   ((s__instance(V__X,s__CordlessTelephone) =>
       (( ? [V__HANDSET, V__CRADLE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           ~(( ? [V__WIRE] :
               ((s__instance(V__WIRE,s__WireLine) &
                   s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))))))
)
)

Communications.kif 95-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24048-24056
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1343-1350
No TPTP formula. May not be expressible in strict first order. Communications.kif 64-71


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