Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NetworkAdapter(network adapter) |
| appearance as argument number 1 |
|
| (subclass NetworkAdapter ComputerComponent) | QoSontology.kif 921-921 | Network adapter is a subclass of computer component |
| (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 922-925 | Network adapter is a subclass of computer component |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?NA NetworkAdapter) (exists (?Net) (and (instance ?Net ComputerNetwork) (connected ?NA ?Net)))) |
QoSontology.kif 927-932 | If X is an instance of network adapter, then there exists Y such that Y is an instance of computer network and X is connected to Y |
| (=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 949-951 | If X is an instance of network adapter, then packets per second is an unit measuring performance of X |
|