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