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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - USBCable

appearance as argument number 1

(documentation USBCable ChineseLanguage "Cable 利用 USBProtocol 连接 Computers 跟 Devices 。") ComputingBrands.kif 2861-2861
(documentation USBCable ChineseTraditionalLanguage "Cable 利用 USBProtocol 連接 Computers 跟 Devices 。") ComputingBrands.kif 2860-2860
(documentation USBCable EnglishLanguage "A Cable that connects Computers and Devices using the USBProtocol.") ComputingBrands.kif 2858-2859
(documentation USBCable JapaneseLanguage "CableUSBProtocolを使用するとComputersと Devicesを接続する。") ComputingBrands.kif 2862-2863
(subclass USBCable ComputerCable) ComputingBrands.kif 2857-2857 USBCable est une sous-classe de ComputerCable

appearance as argument number 2

(protocolForConnector USBProtocol USBCable) ComputingBrands.kif 2868-2868 protocolForConnector USBProtocol and USBCable
(termFormat EnglishLanguage USBCable "USB cable") ComputingBrands.kif 2865-2865
(termFormat JapaneseLanguage USBCable "USB ケーブル") ComputingBrands.kif 2866-2866


    (instance ?U USBPort)
    (hasPurpose ?U
        (exists (?C)
                (instance ?C USBCable)
                (connectedEngineeringComponents ?C ?U)))))
ComputingBrands.kif 2873-2879

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