WirelessNetwork - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass AirPlay WirelessNetwork)	ComputingBrands.kif 1829-1829
(subclass BluetoothNetwork WirelessNetwork)	ComputingBrands.kif 1484-1484
(subclass CellNetwork WirelessNetwork)	ComputingBrands.kif 1473-1473
(subclass Wifi WirelessNetwork)	ComputingBrands.kif 1434-1434
(termFormat EnglishLanguage WirelessNetwork "wireless network")	domainEnglishFormat.kif 65766-65766

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