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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerPort
ComputerPort

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


(documentation ComputerPort ChineseLanguage "一个 ‘母’ 的电力端口其中包函几个特殊形状跟配置的 Wires 被设计用来携带传送 DigitalData 的具体信号协定。") ComputingBrands.kif 2561-2562
(documentation ComputerPort ChineseTraditionalLanguage "一個 ‘母’的電力端口其中包函幾個特殊形狀跟配置的 Wires 被設計用來攜帶傳送 DigitalData 的具體信號協定。") ComputingBrands.kif 2558-2559
(documentation ComputerPort EnglishLanguage "A 'female' 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 2555-2557
(documentation ComputerPort JapaneseLanguage "「雌型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") ComputingBrands.kif 2564-2565
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554 ComputerPort est une sous-classe de composant d'un appareil

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


(subclass AppleDockPort ComputerPort) ComputingBrands.kif 2881-2881 AppleDockPort est une sous-classe de ComputerPort
(subclass USBPort ComputerPort) ComputingBrands.kif 2870-2870 USBPort est une sous-classe de ComputerPort
(termFormat ChineseLanguage ComputerPort "电脑端口") ComputingBrands.kif 2569-2569
(termFormat ChineseLanguage ComputerPort "端口") ComputingBrands.kif 2574-2574
(termFormat ChineseTraditionalLanguage ComputerPort "端口") ComputingBrands.kif 2573-2573
(termFormat ChineseTraditionalLanguage ComputerPort "電腦端口") ComputingBrands.kif 2568-2568
(termFormat EnglishLanguage ComputerPort "Computer Port") ComputingBrands.kif 2567-2567
(termFormat EnglishLanguage ComputerPort "port") ComputingBrands.kif 2572-2572
(termFormat JapaneseLanguage ComputerPort "コンピュータポート") ComputingBrands.kif 2570-2570
(termFormat JapaneseLanguage ComputerPort "ポート") ComputingBrands.kif 2575-2575

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


(=>
    (instance ?CP ComputerPort)
    (attribute ?CP FemaleConnector))
ComputingBrands.kif 2577-2579

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


(=>
    (instance ?CP ComputerPlug)
    (hasPurpose ?CP
        (exists (?P)
            (and
                (instance ?P ComputerPort)
                (connectedEngineeringComponents ?CP ?P)))))
ComputingBrands.kif 2608-2614


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