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 2706-2706 子類 連接線 and EngineeringComponent

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


(subclass USBCable ComputerCable) ComputingBrands.kif 2857-2857 子類 USBCable and 連接線
(termFormat ChineseLanguage ComputerCable "电脑线") ComputingBrands.kif 2720-2720
(termFormat ChineseLanguage ComputerCable "连接线") ComputingBrands.kif 2725-2725
(termFormat ChineseTraditionalLanguage ComputerCable "連接線") ComputingBrands.kif 2724-2724
(termFormat ChineseTraditionalLanguage ComputerCable "電腦線") ComputingBrands.kif 2719-2719
(termFormat EnglishLanguage ComputerCable "cable") ComputingBrands.kif 2723-2723
(termFormat EnglishLanguage ComputerCable "computer cable") ComputingBrands.kif 2718-2718
(termFormat JapaneseLanguage ComputerCable "ケーブル") ComputingBrands.kif 2726-2726
(termFormat JapaneseLanguage ComputerCable "コンピュータケーブル") ComputingBrands.kif 2721-2721

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


(=>
    (and
        (instance ?CC ComputerCable)
        (not
            (instance ?C Cable))
        (part ?C ?CC))
    (or
        (instance ?C MaleConnector)
        (instance ?C FemaleConnector)))
ComputingBrands.kif 2746-2754
(=>
    (instance ?CC ComputerCable)
    (exists (?C)
        (and
            (instance ?C Cable)
            (part ?C ?CC))))
ComputingBrands.kif 2728-2733
(=>
    (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 2735-2744


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