| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13743-13743 | Radiating electromagnetic is a subclass of radiating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 602-602 | Radiating ultraviolet is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15778-15778 | Magnetism is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15782-15782 | Radio emission is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13650-13650 | Radiating light is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13670-13670 | Radiating infrared is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13674-13674 | X ray radiation is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2383-2383 | Electric transmission is a subclass of radiating electromagnetic |
|
|