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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
                (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