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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerCable

appearance as argument number 1

(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2674-2674 Cable is a subclass of engineering component

appearance as argument number 2

(subclass USBCable ComputerCable) ComputingBrands.kif 2825-2825 USB cable is a subclass of cable
(termFormat ChineseLanguage ComputerCable "电脑线") ComputingBrands.kif 2688-2688
(termFormat ChineseLanguage ComputerCable "连接线") ComputingBrands.kif 2693-2693
(termFormat ChineseTraditionalLanguage ComputerCable "連接線") ComputingBrands.kif 2692-2692
(termFormat ChineseTraditionalLanguage ComputerCable "電腦線") ComputingBrands.kif 2687-2687
(termFormat EnglishLanguage ComputerCable "cable") ComputingBrands.kif 2691-2691
(termFormat EnglishLanguage ComputerCable "computer cable") ComputingBrands.kif 2686-2686
(termFormat JapaneseLanguage ComputerCable "ケーブル") ComputingBrands.kif 2694-2694
(termFormat JapaneseLanguage ComputerCable "コンピュータケーブル") ComputingBrands.kif 2689-2689


        (instance ?CC ComputerCable)
            (instance ?C Cable))
        (part ?C ?CC))
        (instance ?C MaleConnector)
        (instance ?C FemaleConnector)))
ComputingBrands.kif 2714-2722
    (instance ?CC ComputerCable)
    (exists (?C)
            (instance ?C Cable)
            (part ?C ?CC))))
ComputingBrands.kif 2696-2701
    (instance ?CC ComputerCable)
    (exists (?C1 ?C2)
            (instance ?C1 EngineeringComponent)
            (instance ?C2 EngineeringComponent)
                (equal ?C1 ?C2))
            (part ?C1 ?CC)
            (part ?C2 ?CC))))
ComputingBrands.kif 2703-2712

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