TreeView Knowledge Base Browser - NetworkCommunicationFn

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

(=> (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
(=> (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	If X is an instance of communication over Bluetooth network, Y is an instance of radiating electromagnetic, Y is a subprocess of X, and the frequency of the carrier of Y is Z 1 billion hertzs(s), then Z is greater than 2.4 and Z is less than 2.485
(=> (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	If X is an instance of communication over AirPlay, then there exists Y such that Y is an instance of television set and X ends up at Y or there exists Z such that Z is an instance of speaker and X ends up at Z
(=> (instance ?NC (NetworkCommunicationFn AirPrint)) (exists (?P) (and (instance ?P Printer) (destination ?NC ?P))))	ComputingBrands.kif 1902-1907	If X is an instance of communication over AirPrint, then there exists Y such that Y is an instance of printer and X ends up at Y

consequent

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

ComputingBrands.kif 1820-1827

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: