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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WirelessNetwork

Sigma KEE - WirelessNetwork
WirelessNetwork

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


(documentation WirelessNetwork ChineseLanguage "&%ComputerNetwork 使用在通讯时透过抹种方式不需透过 &%Cable 在每个传输的抹段期间。") ComputingBrands.kif 1384-1385
(documentation WirelessNetwork ChineseTraditionalLanguage "ComputerNetwork 使用在通訊時透過抹種方式不需透過 Cable 在每個傳輸的抹段期間。") ComputingBrands.kif 1381-1382
(documentation WirelessNetwork EnglishLanguage "A ComputerNetwork that uses some sort of communication not over a Cable at some point during every transmission.") ComputingBrands.kif 1378-1379
(documentation WirelessNetwork JapaneseLanguage "送信中ある時点でCable を介さない何らかの通信用途によるComputerNetwork。") ComputingBrands.kif 1387-1388
(subclass WirelessNetwork ComputerNetwork) ComputingBrands.kif 1376-1376 subclass WirelessNetwork and ComputerNetwork

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


(subclass AirPlay WirelessNetwork) ComputingBrands.kif 1797-1797 subclass AirPlay and WirelessNetwork
(subclass BluetoothNetwork WirelessNetwork) ComputingBrands.kif 1452-1452 subclass ブルートゥースネットワーク and WirelessNetwork
(subclass CellNetwork WirelessNetwork) ComputingBrands.kif 1441-1441 subclass セルネットワーク and WirelessNetwork
(subclass Wifi WirelessNetwork) ComputingBrands.kif 1402-1402 subclass Wi-fi and WirelessNetwork

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


(=>
    (and
        (instance ?CONN WirelessNetwork)
        (instance ?COM NetworkCommunication)
        (instrument ?COM ?CONN)
        (path ?COM ?PATH))
    (exists (?PART)
        (and
            (part ?PART ?PATH)
            (not
                (instance ?PART Cable)))))
ComputingBrands.kif 1390-1400
(=>
    (instance ?WN
        (NetworkCommunicationFn WirelessNetwork))
    (exists (?R)
        (and
            (instance ?R RadiatingElectromagnetic)
            (subProcess ?R ?WN))))
ComputingBrands.kif 1508-1513

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


(=>
    (holdsDuring ?T
        (and
            (instance ?C Computer)
            (attribute ?C AirplaneMode)))
    (not
        (holdsDuring ?T
            (capability
                (NetworkCommunicationFn WirelessNetwork) origin ?C))))
ComputingBrands.kif 1788-1795


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

Show without tree


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