No TPTP formula. May not be expressible in strict first order. | Merge.kif 13650-13650 | 放射光线 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 580-580 | 反射光 是 放射光线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 619-619 | 辐射可见光 是 放射光线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 633-633 | 阳光 是 放射光线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 637-637 | FlashingLight 是 放射光线 的 subclass |