|
|
   ComputerPlug
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ComputerPlug ChineseLanguage "EngineeringComponent 包含一有个两端头的线路, 可能是 MaleConnectors 或 FemaleConnectors 。") | ComputingBrands.kif 2712-2713 | |
| (documentation ComputerPlug ChineseLanguage "一个 ‘公’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定.") | ComputingBrands.kif 2589-2590 | |
| (documentation ComputerPlug ChineseTraditionalLanguage "EngineeringComponent 包含一個有個兩端頭的線路,可能是 MaleConnectors 或 FemaleConnectors 。") | ComputingBrands.kif 2709-2710 | |
| (documentation ComputerPlug ChineseTraditionalLanguage "一個 ‘公’ 的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定.") | ComputingBrands.kif 2586-2587 | |
| (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 | |
| (documentation ComputerPlug EnglishLanguage "An EngineeringComponent consisting of a Cable with two ends that are either MaleConnectors or FemaleConnectors.") | ComputingBrands.kif 2707-2708 | |
| (documentation ComputerPlug JapaneseLanguage "「雄型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") | ComputingBrands.kif 2592-2593 | |
| (documentation ComputerPlug JapaneseLanguage "両端のあるケーブルのEngineeringComponent はMaleConnectorsもしくはFemaleConnectorsである。") | ComputingBrands.kif 2715-2716 | |
| (subclass ComputerPlug EngineeringComponent) | ComputingBrands.kif 2581-2581 | ComputerPlug e' uma sub-classe de Componente de Engenharia |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPlug "插头") | ComputingBrands.kif 2601-2601 | |
| (termFormat ChineseLanguage ComputerPlug "电脑插头") | ComputingBrands.kif 2597-2597 | |
| (termFormat ChineseTraditionalLanguage ComputerPlug "插頭") | ComputingBrands.kif 2600-2600 | |
| (termFormat ChineseTraditionalLanguage ComputerPlug "電腦插頭") | ComputingBrands.kif 2596-2596 | |
| (termFormat EnglishLanguage ComputerPlug "computer plug") | ComputingBrands.kif 2595-2595 | |
| (termFormat EnglishLanguage ComputerPlug "plug") | ComputingBrands.kif 2599-2599 | |
| (termFormat JapaneseLanguage ComputerPlug "コンピュータプラグ") | ComputingBrands.kif 2598-2598 | |
| (termFormat JapaneseLanguage ComputerPlug "プラグ") | ComputingBrands.kif 2602-2602 |
| antecedent |
|
|
| (=> (instance ?CP ComputerPlug) (attribute ?CP MaleConnector)) |
ComputingBrands.kif 2604-2606 |
|
| (=> (instance ?CP ComputerPlug) (hasPurpose ?CP (exists (?P) (and (instance ?P ComputerPort) (connectedEngineeringComponents ?CP ?P))))) |
ComputingBrands.kif 2608-2614 |
|
|
|