(subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 595-595 | RadiatingInfrared は 放射 の subclass では %n |
(subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13670-13670 | RadiatingInfrared は RadiatingElectromagnetic の subclass では %n |