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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USBCable

Sigma KEE - USBCable
USBCable(USB cable)

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


(documentation USBCable ChineseLanguage "Cable 利用 USBProtocol 连接 Computers 跟 Devices 。") ComputingBrands.kif 2829-2829
(documentation USBCable ChineseTraditionalLanguage "Cable 利用 USBProtocol 連接 Computers 跟 Devices 。") ComputingBrands.kif 2828-2828
(documentation USBCable EnglishLanguage "A Cable that connects Computers and Devices using the USBProtocol.") ComputingBrands.kif 2826-2827
(documentation USBCable JapaneseLanguage "CableUSBProtocolを使用するとComputersと Devicesを接続する。") ComputingBrands.kif 2830-2831
(subclass USBCable ComputerCable) ComputingBrands.kif 2825-2825 USB cable is a subclass of cable

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


(protocolForConnector USBProtocol USBCable) ComputingBrands.kif 2836-2836 protocolForConnector USB and USB cable
(termFormat EnglishLanguage USBCable "USB cable") ComputingBrands.kif 2833-2833
(termFormat JapaneseLanguage USBCable "USB ケーブル") ComputingBrands.kif 2834-2834

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


(=>
    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
            (and
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))
ComputingBrands.kif 2841-2847


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 is open source software produced by Articulate Software and its partners