WirelessNetwork - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WirelessNetwork ComputerNetwork)	ComputingBrands.kif 1408-1408	Wireless network is a subclass of computer network
(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	Wireless network is a subclass of computer network
(documentation WirelessNetwork ChineseTraditionalLanguage "ComputerNetwork 使用在通訊時透過抹種方式不需透過 Cable 在每個傳輸的抹段期間。")	ComputingBrands.kif 1413-1414	Wireless network is a subclass of computer network
(documentation WirelessNetwork ChineseLanguage "＆％ComputerNetwork 使用在通讯时透过抹种方式不需透过＆％Cable 在每个传输的抹段期间。")	ComputingBrands.kif 1416-1417	Wireless network is a subclass of computer network
(documentation WirelessNetwork JapaneseLanguage "送信中ある時点でCable を介さない何らかの通信用途によるComputerNetwork。")	ComputingBrands.kif 1419-1420	Wireless network is a subclass of computer network

appearance as argument number 2

(subclass TelemetrySystem WirelessNetwork)	Communications.kif 346-346	Telemetry system is a subclass of wireless network
(subclass Wifi WirelessNetwork)	ComputingBrands.kif 1434-1434	Wi_fi is a subclass of wireless network
(subclass CellNetwork WirelessNetwork)	ComputingBrands.kif 1473-1473	Cell network is a subclass of wireless network
(subclass BluetoothNetwork WirelessNetwork)	ComputingBrands.kif 1484-1484	Bluetooth network is a subclass of wireless network
(subclass AirPlay WirelessNetwork)	ComputingBrands.kif 1829-1829	AirPlay is a subclass of wireless network
(termFormat EnglishLanguage WirelessNetwork "wireless network")	domainEnglishFormat.kif 65744-65744	AirPlay 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 X is an instance of wireless network, Y is an instance of network communication, X is an instrument for Y, and Z is path along which Y occurs, then there exists W such that W is a part of Z and W is not an instance of cable
(=> (instance ?WN (NetworkCommunicationFn WirelessNetwork)) (exists (?R) (and (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN))))	ComputingBrands.kif 1540-1545	If X is an instance of communication over wireless network, then there exists Y such that Y is an instance of radiating electromagnetic and Y is a subprocess of X

consequent

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

If X is an instance of computer and Standalone mode is an attribute of X holds during Y, then X is not capable of doing communication over wireless network as a origin doesn't hold during Y