WirelessNetwork |
appearance as argument number 1 |
(documentation WirelessNetwork ChineseLanguage "&%ComputerNetwork 使用在通讯时透过抹种方式不需透过 &%Cable 在每个传输的抹段期间。") | ComputingBrands.kif 1416-1417 | |
(documentation WirelessNetwork ChineseTraditionalLanguage "ComputerNetwork 使用在通訊時透過抹種方式不需透過 Cable 在每個傳輸的抹段期間。") | ComputingBrands.kif 1413-1414 | |
(documentation WirelessNetwork EnglishLanguage "A ComputerNetwork that uses some sort of communication not over a Cable at some point during every transmission.") | ComputingBrands.kif 1410-1411 | |
(documentation WirelessNetwork JapaneseLanguage "送信中ある時点でCable を介さない何らかの通信用途によるComputerNetwork。") | ComputingBrands.kif 1419-1420 | |
(subclass WirelessNetwork ComputerNetwork) | ComputingBrands.kif 1408-1408 | WirelessNetwork è una sottoclasse di ComputerNetwork |
appearance as argument number 2 |
(subclass AirPlay WirelessNetwork) | ComputingBrands.kif 1829-1829 | AirPlay è una sottoclasse di WirelessNetwork |
(subclass BluetoothNetwork WirelessNetwork) | ComputingBrands.kif 1484-1484 | BluetoothNetwork è una sottoclasse di WirelessNetwork |
(subclass CellNetwork WirelessNetwork) | ComputingBrands.kif 1473-1473 | CellNetwork è una sottoclasse di WirelessNetwork |
(subclass Wifi WirelessNetwork) | ComputingBrands.kif 1434-1434 | Wifi è una sottoclasse di WirelessNetwork |
(termFormat EnglishLanguage WirelessNetwork "wireless network") | domainEnglishFormat.kif 65743-65743 |
antecedent |
(=> (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 | |
(=> (instance ?WN (NetworkCommunicationFn WirelessNetwork)) (exists (?R) (and (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN)))) |
ComputingBrands.kif 1540-1545 |
|
consequent |
(=> (holdsDuring ?T (and (instance ?C Computer) (attribute ?C AirplaneMode))) (not (holdsDuring ?T (capability (NetworkCommunicationFn WirelessNetwork) origin ?C)))) |
ComputingBrands.kif 1820-1827 |
|