| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13765-13765 | 辐射电磁 是 辐射 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 602-602 | 辐射紫外线 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15777-15777 | 磁 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15781-15781 | 无线电发射 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13672-13672 | 放射光线 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13692-13692 | 辐射红外线 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | X射线辐射 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2389-2389 | ElectricTransmission 是 辐射电磁 的 subclass |
|
|