No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | Irradiar e' uma sub-classe de Movimento |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 574-574 | Reflecting e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 595-595 | RadiatingInfrared e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3039-3039 | Lightning e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15831-15831 | Explosion e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13698-13698 | Som Irradiante e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13765-13765 | RadiatingElectromagnetic e' uma sub-classe de Irradiar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13770-13770 | RadiatingNuclear e' uma sub-classe de Irradiar |
![]() |