No TPTP formula. May not be expressible in strict first order. | Merge.kif 13650-13650 | 子類 RadiatingLight and 輻射電磁 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 580-580 | 子類 反射光 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 619-619 | 子類 輻射可見光 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 633-633 | 子類 陽光 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 637-637 | 子類 FlashingLight and RadiatingLight |