(subclass ComputerResource ComputationalSystem) | QoSontology.kif 1807-1807 | ComputerResource は ComputationalSystem の subclass では %n |
(subclass NetworkResource ComputerResource) | QoSontology.kif 1821-1821 | NetworkResource は ComputerResource の subclass では %n |