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 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 USB cable is a subclass of cable

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


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

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


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


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