NetworkCommunicationFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NetworkCommunicationFn EnglishLanguage "Function 透过给予 ComputerNetwork 回传一个类别给 NetworkCommunication 。")	ComputingBrands.kif 1526-1526
(documentation NetworkCommunicationFn EnglishLanguage "Function 透過給予的 ComputerNetwork 回傳一個類別給 NetworkCommunication 。")	ComputingBrands.kif 1525-1525
(documentation NetworkCommunicationFn EnglishLanguage "A Function that returns an class of NetworkCommunication over the given type of ComputerNetwork.")	ComputingBrands.kif 1523-1524
(documentation NetworkCommunicationFn JapaneseLanguage "指定されたタイプのComputerNetwork 上のNetworkCommunicationクラスで返される機能。")	ComputingBrands.kif 1527-1528
(domainSubclass NetworkCommunicationFn 1 ComputerNetwork)	ComputingBrands.kif 1521-1521
(instance NetworkCommunicationFn UnaryFunction)	ComputingBrands.kif 1519-1519
(rangeSubclass NetworkCommunicationFn NetworkCommunication)	ComputingBrands.kif 1520-1520

appearance as argument number 2

(format ChineseLanguage NetworkCommunicationFn "通信透过 %1")	ComputingBrands.kif 1532-1532
(format ChineseTraditionalLanguage NetworkCommunicationFn "通信透過 %1")	ComputingBrands.kif 1531-1531
(format EnglishLanguage NetworkCommunicationFn "communication over %1")	ComputingBrands.kif 1530-1530
(format JapaneseLanguage NetworkCommunicationFn "％1 を介した通信")	ComputingBrands.kif 1533-1533
(termFormat ChineseLanguage NetworkCommunicationFn "网路通信功能")	ComputingBrands.kif 1537-1537
(termFormat ChineseTraditionalLanguage NetworkCommunicationFn "網路通信功能")	ComputingBrands.kif 1536-1536
(termFormat EnglishLanguage NetworkCommunicationFn "network communication function")	ComputingBrands.kif 1535-1535
(termFormat JapaneseLanguage NetworkCommunicationFn "ネットワーク通信機能")	ComputingBrands.kif 1538-1538

antecedent

(=> (and (instance ?WN (NetworkCommunicationFn BluetoothNetwork)) (instance ?R RadiatingElectromagnetic) (subProcess ?R ?WN) (carrierFrequency ?R (MeasureFn ?W (GigaFn Hertz)))) (and (greaterThan ?W 2.4) (lessThan ?W 2.485)))	ComputingBrands.kif 1579-1588
(=> (instance ?NC (NetworkCommunicationFn AirPlay)) (or (exists (?TV) (and (instance ?TV TelevisionSet) (destination ?NC ?TV))) (exists (?SP) (and (instance ?SP SpeakerDevice) (destination ?NC ?SP)))))	ComputingBrands.kif 1860-1870
(=> (instance ?NC (NetworkCommunicationFn AirPrint)) (exists (?P) (and (instance ?P Printer) (destination ?NC ?P))))	ComputingBrands.kif 1902-1907
(=> (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