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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerCable
ComputerCable(cable)

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


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

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


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

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