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	Wireless network is a subclass of computer network

appearance as argument number 2

(subclass AirPlay WirelessNetwork)	ComputingBrands.kif 1829-1829	AirPlay is a subclass of wireless network
(subclass BluetoothNetwork WirelessNetwork)	ComputingBrands.kif 1484-1484	Bluetooth network is a subclass of wireless network
(subclass CellNetwork WirelessNetwork)	ComputingBrands.kif 1473-1473	Cell network is a subclass of wireless network
(subclass TelemetrySystem WirelessNetwork)	Communications.kif 340-340	Telemetry system is a subclass of wireless network
(subclass Wifi WirelessNetwork)	ComputingBrands.kif 1434-1434	Wi_fi is a subclass of wireless network
(termFormat EnglishLanguage WirelessNetwork "wireless network")	domainEnglishFormat.kif 65734-65734	Wi_fi is a subclass of wireless network

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	If an object is an instance of wireless network and a motion is an instance of network communication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
(=> (instance ?WN (NetworkCommunicationFn WirelessNetwork)) (exists (?R) (and (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN))))	ComputingBrands.kif 1540-1545	If a process is an instance of communication over wireless network, then there exists another process such that the other process is an instance of radiating electromagnetic and the other process is a subprocess of the process

consequent

(=>
    (holdsDuring ?T
        (and
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
    (not
        (holdsDuring ?T
            (capability
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))

ComputingBrands.kif 1820-1827