Cable
|
|
appearance as argument number 1 |
(documentation Cable EnglishLanguage "Cable refers to an EngineeringConnection made of WireLine") | Hotel.kif 1399-1400 | |
(subclass Cable EngineeringConnection) | Hotel.kif 1398-1398 | Cable 是 工程组件连接件 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage Cable "cable") | Hotel.kif 1401-1401 |
antecedent |
(=> (and (instance ?CC ComputerCable) (not (instance ?C Cable)) (part ?C ?CC)) (or (instance ?C MaleConnector) (instance ?C FemaleConnector))) |
ComputingBrands.kif 2746-2754 | |
(=> (instance ?C Cable) (exists (?WIRE) (and (instance ?WIRE WireLine) (part ?WIRE ?C)))) |
Hotel.kif 1403-1408 |
consequent |
(=> (and (instance ?CONN WirelessNetwork) (instance ?COM NetworkCommunication) (instrument ?COM ?CONN) (path ?COM ?PATH)) (exists (?PART) (and (part ?PART ?PATH) (not (instance ?PART Cable))))) |
ComputingBrands.kif 1422-1432 | |
(=> (and (instance ?MODEM CableModem) (instance ?COMM Communication) (instrument ?COMM ?MODEM)) (exists (?CABLE) (and (instance ?CABLE Cable) (instrument ?COMM ?CABLE) (connectedEngineeringComponents ?CABLE ?MODEM)))) |
ComputerInput.kif 577-586 |
|
(=> (instance ?CC ComputerCable) (exists (?C) (and (instance ?C Cable) (part ?C ?CC)))) |
ComputingBrands.kif 2728-2733 | |
(=> (instance ?CONN WiredInternetConnection) (exists (?CABLE) (and (part ?CABLE ?CONN) (instance ?CABLE Cable)))) |
Hotel.kif 1415-1420 | |
(=> (instance ?CONN WirelessInternetConnection) (not (exists (?CABLE) (and (part ?CABLE ?CONN) (instance ?CABLE Cable))))) |
Hotel.kif 1428-1434 |