Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LAN
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LAN ComputerNetwork) | QoSontology.kif 31-31 | LAN is a subclass of computer network |
| (disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) | QoSontology.kif 32-32 | LAN is disjointly decomposed into bus network, star network, and ring network |
| (documentation LAN EnglishLanguage "A computer network that spans a relatively small area. Most LANs are confined to a single building or group of buildings. However, one LAN can be connected to other LANs over any distance via telephone lines and radio waves.") | QoSontology.kif 33-36 | LAN is disjointly decomposed into bus network, star network, and ring network |
| appearance as argument number 2 |
|
|
| (subclass BusNetwork LAN) | QoSontology.kif 38-38 | Bus network is a subclass of LAN |
| (subclass StarNetwork LAN) | QoSontology.kif 44-44 | Star network is a subclass of LAN |
| (subclass RingNetwork LAN) | QoSontology.kif 48-48 | Ring network is a subclass of LAN |
| (termFormat EnglishLanguage LAN "LAN") | domainEnglishFormat.kif 33201-33201 | Ring network is a subclass of LAN |
| (termFormat ChineseTraditionalLanguage LAN "LAN") | domainEnglishFormat.kif 33202-33202 | Ring network is a subclass of LAN |
| (termFormat ChineseLanguage LAN "LAN") | domainEnglishFormat.kif 33203-33203 | Ring network is a subclass of LAN |
|