(subclass HardwareSystem ComputerHardware) | QoSontology.kif 288-288 | HardwareSystem は ComputerHardware の subclass では %n |
(subclass HardwareSystem ComputationalSystem) | QoSontology.kif 289-289 | HardwareSystem は ComputationalSystem の subclass では %n |
(subclass HardwareSystem RealtimeSystem) | QoSontology.kif 1329-1329 | HardwareSystem は RealtimeSystem の subclass では %n |