| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13645-13645 | Radiating is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 574-574 | Reflecting is a subclass of radiating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 595-595 | Radiating infrared is a subclass of radiating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3039-3039 | Lightning is a subclass of radiating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15832-15832 | Explosion is a subclass of radiating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13676-13676 | Radiating sound is a subclass of radiating |
| 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. | Merge.kif 13748-13748 | Radiating nuclear is a subclass of radiating |
|
|