Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NetworkCommunicationFn
NetworkCommunicationFn

appearance as argument number 1
-------------------------


(documentation NetworkCommunicationFn EnglishLanguage "Function 透过给予 ComputerNetwork 回传一个类别给 NetworkCommunication 。") ComputingBrands.kif 1502-1502
(documentation NetworkCommunicationFn EnglishLanguage "Function 透過給予的 ComputerNetwork 回傳一個類別給 NetworkCommunication 。") ComputingBrands.kif 1501-1501
(documentation NetworkCommunicationFn EnglishLanguage "A Function that returns an class of NetworkCommunication over the given type of ComputerNetwork.") ComputingBrands.kif 1499-1500
(documentation NetworkCommunicationFn JapaneseLanguage "指定されたタイプのComputerNetwork 上のNetworkCommunicationクラスで返される機能。") ComputingBrands.kif 1503-1504
(domainSubclass NetworkCommunicationFn 1 ComputerNetwork) ComputingBrands.kif 1497-1497 domainSubclass ネットワーク通信機能, 1 and ComputerNetwork
(instance NetworkCommunicationFn UnaryFunction) ComputingBrands.kif 1495-1495 instance ネットワーク通信機能 and UnaryFunction
(rangeSubclass NetworkCommunicationFn NetworkCommunication) ComputingBrands.kif 1496-1496 rangeSubclass ネットワーク通信機能 and NetworkCommunication

appearance as argument number 2
-------------------------


(format ChineseLanguage NetworkCommunicationFn "通信透过 %1") ComputingBrands.kif 1508-1508
(format ChineseTraditionalLanguage NetworkCommunicationFn "通信透過 %1") ComputingBrands.kif 1507-1507
(format EnglishLanguage NetworkCommunicationFn "communication over %1") ComputingBrands.kif 1506-1506
(format JapaneseLanguage NetworkCommunicationFn "%1 を介した通信") ComputingBrands.kif 1509-1509
(termFormat ChineseLanguage NetworkCommunicationFn "网路通信功能") ComputingBrands.kif 1513-1513
(termFormat ChineseTraditionalLanguage NetworkCommunicationFn "網路通信功能") ComputingBrands.kif 1512-1512
(termFormat EnglishLanguage NetworkCommunicationFn "network communication function") ComputingBrands.kif 1511-1511
(termFormat JapaneseLanguage NetworkCommunicationFn "ネットワーク通信機能") ComputingBrands.kif 1514-1514

antecedent
-------------------------


(=>
    (and
        (instance ?WN
            (NetworkCommunicationFn BluetoothNetwork))
        (instance ?R RadiatingElectromagnetic)
        (subProcess ?R ?WN)
        (carrierFrequency ?R ?W))
    (and
        (greaterThan ?W
            (GigaFn
                (MeasureFn Hertz 2.4)))
        (lessThan ?W
            (GigaFn
                (MeasureFn Hertz 2.485)))))
ComputingBrands.kif 1555-1563
(=>
    (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 1838-1848
(=>
    (instance ?NC
        (NetworkCommunicationFn AirPrint))
    (exists (?P)
        (and
            (instance ?P Printer)
            (destination ?NC ?P))))
ComputingBrands.kif 1880-1885
(=>
    (instance ?WN
        (NetworkCommunicationFn WirelessNetwork))
    (exists (?R)
        (and
            (instance ?R RadiatingElectromagnetic)
            (subProcess ?R ?WN))))
ComputingBrands.kif 1516-1521

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?C AirplaneMode))
    (not
        (holdsDuring ?T
            (capability ?C origin
                (NetworkCommunicationFn WirelessNetwork)))))
ComputingBrands.kif 1800-1805


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