Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TextInputBox

 Sigma KEE - ComputerPlug
ComputerPlug(plug)

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


(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581 Plug is a subclass of engineering component
(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 2582-2584 Plug is a subclass of engineering component
(documentation ComputerPlug ChineseTraditionalLanguage "一個 ‘公’ 的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定.") ComputingBrands.kif 2586-2587 Plug is a subclass of engineering component
(documentation ComputerPlug ChineseLanguage "一个 ‘公’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定.") ComputingBrands.kif 2589-2590 Plug is a subclass of engineering component
(documentation ComputerPlug JapaneseLanguage "「雄型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") ComputingBrands.kif 2592-2593 Plug is a subclass of engineering component
(documentation ComputerPlug EnglishLanguage "An EngineeringComponent consisting of a Cable with two ends that are either MaleConnectors or FemaleConnectors.") ComputingBrands.kif 2618-2619 Plug is a subclass of engineering component
(documentation ComputerPlug ChineseTraditionalLanguage "EngineeringComponent 包含一個有個兩端頭的線路,可能是 MaleConnectors 或 FemaleConnectors 。") ComputingBrands.kif 2620-2621 Plug is a subclass of engineering component
(documentation ComputerPlug ChineseLanguage "EngineeringComponent 包含一有个两端头的线路, 可能是 MaleConnectors 或 FemaleConnectors 。") ComputingBrands.kif 2623-2624 Plug is a subclass of engineering component
(documentation ComputerPlug JapaneseLanguage "両端のあるケーブルのEngineeringComponent はMaleConnectorsもしくはFemaleConnectorsである。") ComputingBrands.kif 2626-2627 Plug is a subclass of engineering component

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


(termFormat EnglishLanguage ComputerPlug "computer plug") ComputingBrands.kif 2595-2595
(termFormat ChineseTraditionalLanguage ComputerPlug "電腦插頭") ComputingBrands.kif 2596-2596
(termFormat ChineseLanguage ComputerPlug "电脑插头") ComputingBrands.kif 2597-2597
(termFormat JapaneseLanguage ComputerPlug "コンピュータプラグ") ComputingBrands.kif 2598-2598
(termFormat EnglishLanguage ComputerPlug "plug") ComputingBrands.kif 2599-2599
(termFormat ChineseTraditionalLanguage ComputerPlug "插頭") ComputingBrands.kif 2600-2600
(termFormat ChineseLanguage ComputerPlug "插头") ComputingBrands.kif 2601-2601
(termFormat JapaneseLanguage ComputerPlug "プラグ") ComputingBrands.kif 2602-2602

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


(=>
    (instance ?CP ComputerPlug)
    (attribute ?CP MaleConnector))		 ComputingBrands.kif 2604-2606 If X is an instance of plug, then 公 is an attribute of X
(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))		 ComputingBrands.kif 2608-2614 If X is an instance of plug, then X has the purpose there exists Y such that Y is an instance of port and X is connected to Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners