No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | 子類 Radiating and Motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 574-574 | 子類 反映 and Radiating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 595-595 | 子類 輻射紅外線 and Radiating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3039-3039 | 子類 閃電 and Radiating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15831-15831 | 子類 爆炸 and Radiating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13698-13698 | 子類 RadiatingSound and Radiating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13765-13765 | 子類 輻射電磁 and Radiating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13770-13770 | 子類 輻射核 and Radiating |