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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NetworkAdapter
NetworkAdapter

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


(documentation NetworkAdapter EnglishLanguage "A network adapter, also known as a Network Interface Card or NIC, is a physical device installed in a computer on its system bus. Its purpose is to connect to a specific type of network, usually an ethernet or a token ring network.") QoSontology.kif 824-827
(subclass NetworkAdapter ComputerComponent) QoSontology.kif 823-823 subclass NetworkAdapter and ComputerComponent

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


(termFormat ChineseLanguage NetworkAdapter "网络适​​配器") domainEnglishFormat.kif 40135-40135 termFormat ChineseLanguage, NetworkAdapter and "网络适​​配器"
(termFormat ChineseTraditionalLanguage NetworkAdapter "網絡適配器") domainEnglishFormat.kif 40134-40134 termFormat ChineseTraditionalLanguage, NetworkAdapter and "網絡適配器"
(termFormat EnglishLanguage NetworkAdapter "network adapter") domainEnglishFormat.kif 40133-40133 termFormat EnglishLanguage, NetworkAdapter and "network adapter"

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


(=>
    (instance ?NA NetworkAdapter)
    (exists (?Net)
        (and
            (instance ?Net ComputerNetwork)
            (connected ?NA ?Net))))
QoSontology.kif 829-834
(=>
    (instance ?NA NetworkAdapter)
    (unitMeasuringPerformance ?NA PacketsPerSecond))
QoSontology.kif 851-853


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners