| (subclass ComputerNetwork ComputationalSystem) | QoSontology.kif 30-30 | ComputerNetwork は ComputationalSystem の subclass では %n |
| (subclass ComputerNetwork RealtimeSystem) | QoSontology.kif 1330-1330 | ComputerNetwork は RealtimeSystem の subclass では %n |
| (subclass LAN ComputerNetwork) | QoSontology.kif 36-36 | LAN は ComputerNetwork の subclass では %n |
| (subclass WirelessNetwork ComputerNetwork) | ComputingBrands.kif 1408-1408 | WirelessNetwork は ComputerNetwork の subclass では %n |
| (subclass AirPrint ComputerNetwork) | ComputingBrands.kif 1872-1872 | AirPrint は ComputerNetwork の subclass では %n |
|
|