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 2665-2665

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


(subclass USBCable ComputerCable) ComputingBrands.kif 2816-2816
(termFormat ChineseLanguage ComputerCable "电脑线") ComputingBrands.kif 2679-2679
(termFormat ChineseLanguage ComputerCable "连接线") ComputingBrands.kif 2684-2684
(termFormat ChineseTraditionalLanguage ComputerCable "連接線") ComputingBrands.kif 2683-2683
(termFormat ChineseTraditionalLanguage ComputerCable "電腦線") ComputingBrands.kif 2678-2678
(termFormat EnglishLanguage ComputerCable "cable") ComputingBrands.kif 2682-2682
(termFormat EnglishLanguage ComputerCable "computer cable") ComputingBrands.kif 2677-2677
(termFormat JapaneseLanguage ComputerCable "ケーブル") ComputingBrands.kif 2685-2685
(termFormat JapaneseLanguage ComputerCable "コンピュータケーブル") ComputingBrands.kif 2680-2680

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


(=>
    (and
        (instance ?CC ComputerCable)
        (not
            (instance ?C Cable))
        (part ?C ?CC))
    (or
        (instance ?C MaleConnector)
        (instance ?C FemaleConnector)))
ComputingBrands.kif 2705-2713
(=>
    (instance ?CC ComputerCable)
    (exists (?C)
        (and
            (instance ?C Cable)
            (part ?C ?CC))))
ComputingBrands.kif 2687-2692
(=>
    (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 2694-2703


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