| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13765-13765 | 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 15777-15777 | Magnetism is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15781-15781 | Radio emission is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13672-13672 | Radiating light is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13692-13692 | Radiating infrared is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | X ray radiation is a subclass of radiating electromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2389-2389 | Electric transmission is a subclass of radiating electromagnetic |
|
|