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	The number 1 argument of network communication function is a subclass of computer network
(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

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

If an entity is an instance of computer and Standalone mode is an attribute of the entity holds during a time position,
then the entity is capable of doing communication over wireless network as a origin doesn't hold during the time position

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: