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


(documentation connectsEngineeringComponents ChineseLanguage "connectsEngineeringComponents 是一种 TernaryPredicate,它把一个 EngineeringConnection 和它连接的 EngineeringComponent 联系。因为 EngineeringComponent 不能和自身连接,而又容许出现 没有 connectedEngineeringComponents PredicateEngineeringConnection,所以任何 connectsEngineeringComponents 关系的第二和第三个参数一定需有和第一个参数不同。") chinese_format.kif 4056-4060
(documentation connectsEngineeringComponents 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 14874-14880
(domain connectsEngineeringComponents 1 EngineeringConnection) Merge.kif 14871-14871 domain connectsEngineeringComponents, 1 and EngineeringConnection
(domain connectsEngineeringComponents 2 EngineeringComponent) Merge.kif 14872-14872 domain connectsEngineeringComponents, 2 and EngineeringComponent
(domain connectsEngineeringComponents 3 EngineeringComponent) Merge.kif 14873-14873 domain connectsEngineeringComponents, 3 and EngineeringComponent
(instance connectsEngineeringComponents TernaryPredicate) Merge.kif 14870-14870 instance connectsEngineeringComponents and TernaryPredicate
(subrelation connectsEngineeringComponents connects) Merge.kif 14869-14869 subrelation connectsEngineeringComponents and connects

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


(format ChineseLanguage connectsEngineeringComponents "%1 %n connects %2 和 %3") chinese_format.kif 543-543
(format EnglishLanguage connectsEngineeringComponents "%1 %n{doesn't} connect%p{s} %2 and %3") english_format.kif 551-551
(termFormat ChineseLanguage connectsEngineeringComponents "连接工程子组件") chinese_format.kif 544-544 termFormat ChineseLanguage, connectsEngineeringComponents and "连接工程子组件"
(termFormat ChineseLanguage connectsEngineeringComponents "连接工程组件") domainEnglishFormat.kif 16597-16597 termFormat ChineseLanguage, connectsEngineeringComponents and "连接工程组件"
(termFormat ChineseTraditionalLanguage connectsEngineeringComponents "連接工程組件") domainEnglishFormat.kif 16596-16596 termFormat ChineseTraditionalLanguage, connectsEngineeringComponents and "連接工程組件"
(termFormat EnglishLanguage connectsEngineeringComponents "connects engineering components") domainEnglishFormat.kif 16595-16595 termFormat EnglishLanguage, connectsEngineeringComponents and "connects engineering components"

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


(=>
    (and
        (connectsEngineeringComponents ?CONN ?DEVICE ?AP)
        (instance ?AP InternetAccessPoint))
    (instance ?CONN InternetConnection))
Hotel.kif 1343-1347

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


(<=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (exists (?CONNECTION)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 14864-14867 connectedEngineeringComponents EngineeringComponent and EngineeringComponent EngineeringConnection connectsEngineeringComponents EngineeringConnection, EngineeringComponent and EngineeringComponent
(=>
    (instance ?ADAPT OutletAdapter)
    (hasPurpose ?ADAPT
        (exists (?OUTLET ?PLUG)
            (and
                (instance ?PLUG ElectricalPlug)
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?PLUG ?ADAPT)
                (completelyFills ?ADAPT ?OUTLET)
                (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET)))))
Mid-level-ontology.kif 23964-23973
(=>
    (instance ?CONNECTION EngineeringConnection)
    (exists (?COMP1 ?COMP2)
        (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 14852-14855
(=>
    (instance ?X CordedTelephone)
    (exists (?HANDSET ?CRADLE ?WIRE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (instance ?WIRE WireLine)
            (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))
Communications.kif 78-87
(=>
    (instance ?X CordlessTelephone)
    (exists (?HANDSET ?CRADLE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (not
                (exists (?WIRE)
                    (and
                        (instance ?WIRE WireLine)
                        (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))
Communications.kif 95-107
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE Collection)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 23906-23914
(=>
    (instance ?X Modem)
    (hasPurpose ?X
        (exists (?ISP ?CONN)
            (and
                (instance ?ISP InternetServiceProvider)
                (connectsEngineeringComponents ?CONN ?X ?ISP)
                (instance ?CONN TelephoneLine)))))
Hotel.kif 1329-1336
(=>
    (instance ?X TelephoneCradle)
    (hasPurpose ?X
        (exists (?SYS ?WIRE)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?SYS)))))
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners