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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerPlug
ComputerPlug(plug)

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


(documentation ComputerPlug ChineseLanguage "EngineeringComponent 包含一有个两端头的线路, 可能是 MaleConnectors 或 FemaleConnectors 。") ComputingBrands.kif 2680-2681
(documentation ComputerPlug ChineseLanguage "一个 ‘公’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定.") ComputingBrands.kif 2557-2558
(documentation ComputerPlug ChineseTraditionalLanguage "EngineeringComponent 包含一個有個兩端頭的線路,可能是 MaleConnectors 或 FemaleConnectors 。") ComputingBrands.kif 2677-2678
(documentation ComputerPlug ChineseTraditionalLanguage "一個 ‘公’ 的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定.") ComputingBrands.kif 2554-2555
(documentation ComputerPlug EnglishLanguage "A 'male' electrical connection consisting of several Wires in a specific shape and configuration that is designed to carry a specific protocol of signals for transferring DigitalData.") ComputingBrands.kif 2550-2552
(documentation ComputerPlug EnglishLanguage "An EngineeringComponent consisting of a Cable with two ends that are either MaleConnectors or FemaleConnectors.") ComputingBrands.kif 2675-2676
(documentation ComputerPlug JapaneseLanguage "「雄型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") ComputingBrands.kif 2560-2561
(documentation ComputerPlug JapaneseLanguage "両端のあるケーブルのEngineeringComponentMaleConnectorsもしくはFemaleConnectorsである。") ComputingBrands.kif 2683-2684
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2549-2549 Plug is a subclass of engineering component

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


(termFormat ChineseLanguage ComputerPlug "插头") ComputingBrands.kif 2569-2569
(termFormat ChineseLanguage ComputerPlug "电脑插头") ComputingBrands.kif 2565-2565
(termFormat ChineseTraditionalLanguage ComputerPlug "插頭") ComputingBrands.kif 2568-2568
(termFormat ChineseTraditionalLanguage ComputerPlug "電腦插頭") ComputingBrands.kif 2564-2564
(termFormat EnglishLanguage ComputerPlug "computer plug") ComputingBrands.kif 2563-2563
(termFormat EnglishLanguage ComputerPlug "plug") ComputingBrands.kif 2567-2567
(termFormat JapaneseLanguage ComputerPlug "コンピュータプラグ") ComputingBrands.kif 2566-2566
(termFormat JapaneseLanguage ComputerPlug "プラグ") ComputingBrands.kif 2570-2570

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


(=>
    (instance ?CP ComputerPlug)
    (attribute ?CP MaleConnector))
ComputingBrands.kif 2572-2574
(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))
ComputingBrands.kif 2576-2582


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