No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2383-2383 |
ElectricTransmission 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15778-15778 |
磁 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13670-13670 |
辐射红外线 是 辐射电磁 的 subclass |
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 602-602 |
辐射紫外线 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13674-13674 |
X射线辐射 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15782-15782 |
无线电发射 是 辐射电磁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48440-48440 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48439-48439 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48438-48438 |
|