Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NetworkCommunicationFn
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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners