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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerCable
ComputerCable(ケーブル)

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


(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2674-2674 subclass ケーブル and EngineeringComponent

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


(subclass USBCable ComputerCable) ComputingBrands.kif 2825-2825 subclass USB ケーブル and ケーブル
(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

antecedent
-------------------------


(=>
    (and
        (instance ?CC ComputerCable)
        (not
            (instance ?C Cable))
        (part ?C ?CC))
    (or
        (instance ?C MaleConnector)
        (instance ?C FemaleConnector)))
ComputingBrands.kif 2714-2722
(=>
    (instance ?CC ComputerCable)
    (exists (?C)
        (and
            (instance ?C Cable)
            (part ?C ?CC))))
ComputingBrands.kif 2696-2701
(=>
    (instance ?CC ComputerCable)
    (exists (?C1 ?C2)
        (and
            (instance ?C1 EngineeringComponent)
            (instance ?C2 EngineeringComponent)
            (not
                (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