No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3038-3038 | 子類 閃電 and 天氣過程 |
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. | Cars.kif 422-422 | 子類 閃電 and Spark |
![]() |