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

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


(subclass USBCable ComputerCable) ComputingBrands.kif 2857-2857
(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