Radiating(irradier) |
appearance as argument number 1 |
(documentation Radiating ChineseLanguage "这是涉及释放或吸收某些电磁辐射的过程, 例如;无线电波、 光波和电能等等。") | chinese_format.kif 3326-3327 | |
(documentation Radiating EnglishLanguage "Processes in which some form of electromagnetic radiation, e.g. radio waves, light waves, electrical energy, etc., is given off or absorbed by something else.") | Merge.kif 13646-13648 | |
(subclass Radiating Motion) | Merge.kif 13645-13645 | Irradier est une sous-classe de d�palcement |
appearance as argument number 2 |
(subclass Explosion Radiating) | Mid-level-ontology.kif 15832-15832 | Explosion est une sous-classe de irradier |
(subclass Lightning Radiating) | Mid-level-ontology.kif 3039-3039 | Lightning est une sous-classe de irradier |
(subclass RadiatingElectromagnetic Radiating) | Merge.kif 13743-13743 | RadiatingElectromagnetic est une sous-classe de irradier |
(subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 595-595 | RadiatingInfrared est une sous-classe de irradier |
(subclass RadiatingNuclear Radiating) | Merge.kif 13748-13748 | RadiatingNuclear est une sous-classe de irradier |
(subclass RadiatingSound Radiating) | Merge.kif 13676-13676 | Son irradiant est une sous-classe de irradier |
(subclass Reflecting Radiating) | Mid-level-ontology.kif 574-574 | Reflecting est une sous-classe de irradier |
(termFormat ChineseLanguage Radiating "辐射") | chinese_format.kif 1222-1222 | |
(termFormat EnglishLanguage Radiating "radiating") | english_format.kif 1665-1665 | |
(termFormat FrenchLanguage Radiating "irradier") | french_format.kif 900-900 | |
(termFormat Hindi Radiating "vikaranana") | terms-hindi.txt 433-433 | |
(termFormat ItalianLanguage Radiating "Radiazione") | terms-it.txt 436-436 | |
(termFormat JapaneseLanguage Radiating "放射") | japanese_format.kif 2584-2584 | |
(termFormat PortugueseLanguage Radiating "Irradiar") | portuguese_format.kif 852-852 | |
(termFormat cz Radiating "radiating") | terms-cz.txt 472-472 | |
(termFormat ro Radiating "radiaþie") | relations-ro.kif 921-921 | |
(termFormat tg Radiating "nagmamanaag") | terms-tg.txt 437-437 |
appearance as argument number 3 |
(domain carrierFrequency 1 Radiating) | ComputingBrands.kif 1548-1548 | Le nombre 1 argument de carrierFrequency est une instance de irradier |
(domain wavelength 1 Radiating) | Mid-level-ontology.kif 589-589 | Le nombre 1 argument de wavelength est une instance de irradier |
consequent |
(=> (instance ?M BeamRidingGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION ?INST) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION Radiating) (instrument ?RADIATION ?INST) (or (instance ?INST Radar) (instance ?INST LightFixture)) (patient ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1108-1121 |
|
(=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 3625-3631 |