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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WirelessNetwork
WirelessNetwork(wireless network)

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


(documentation WirelessNetwork ChineseLanguage "&%ComputerNetwork 使用在通讯时透过抹种方式不需透过 &%Cable 在每个传输的抹段期间。") ComputingBrands.kif 1416-1417
(documentation WirelessNetwork ChineseTraditionalLanguage "ComputerNetwork 使用在通訊時透過抹種方式不需透過 Cable 在每個傳輸的抹段期間。") ComputingBrands.kif 1413-1414
(documentation WirelessNetwork EnglishLanguage "A ComputerNetwork that uses some sort of communication not over a Cable at some point during every transmission.") ComputingBrands.kif 1410-1411
(documentation WirelessNetwork JapaneseLanguage "送信中ある時点でCable を介さない何らかの通信用途によるComputerNetwork。") ComputingBrands.kif 1419-1420
(subclass WirelessNetwork ComputerNetwork) ComputingBrands.kif 1408-1408 Wireless network is a subclass of computer network

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


(subclass AirPlay WirelessNetwork) ComputingBrands.kif 1829-1829 AirPlay is a subclass of wireless network
(subclass BluetoothNetwork WirelessNetwork) ComputingBrands.kif 1484-1484 Bluetooth network is a subclass of wireless network
(subclass CellNetwork WirelessNetwork) ComputingBrands.kif 1473-1473 Cell network is a subclass of wireless network
(subclass Wifi WirelessNetwork) ComputingBrands.kif 1434-1434 Wi-fi is a subclass of wireless network
(termFormat EnglishLanguage WirelessNetwork "wireless network") domainEnglishFormat.kif 65741-65741

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 1422-1432
(=>
    (instance ?WN
        (NetworkCommunicationFn WirelessNetwork))
    (exists (?R)
        (and
            (instance ?R RadiatingElectromagnetic)
            (subProcess ?R ?WN))))
ComputingBrands.kif 1540-1545

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


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


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