NetworkCommunicationFn |
appearance as argument number 1 |
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 |