| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13765-13765 | RadiatingElectromagnetic est une sous-classe de irradier |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 602-602 | RadiatingUltraviolet est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15777-15777 | Magnetism est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15781-15781 | RadioEmission est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13672-13672 | Lumi�re irradiante est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13692-13692 | RadiatingInfrared est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | RadiatingXRay est une sous-classe de RadiatingElectromagnetic |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2389-2389 | ElectricTransmission est une sous-classe de RadiatingElectromagnetic |
|
|