| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13645-13645 | 辐射 是 运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 574-574 | 反映 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 595-595 | 辐射红外线 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3039-3039 | 闪电 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15832-15832 | 爆炸 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13676-13676 | 放射声音 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13743-13743 | 辐射电磁 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13748-13748 | 辐射核 是 辐射 的 subclass |
|
|