ReflectingLight |
appearance as argument number 1 |
(documentation ReflectingLight EnglishLanguage "Those instances of RadiatingLight where the instrument is not a light source, but is simply a surface which bends light waves that come in contact with it.") | Mid-level-ontology.kif 581-584 | |
(subclass ReflectingLight RadiatingLight) | Mid-level-ontology.kif 580-580 | ReflectingLight est une sous-classe de lumi�re irradiante |
(subclass ReflectingLight Reflecting) | Mid-level-ontology.kif 579-579 | ReflectingLight est une sous-classe de Reflecting |
appearance as argument number 2 |
(termFormat ChineseLanguage ReflectingLight "反射光") | domainEnglishFormat.kif 49130-49130 | |
(termFormat ChineseTraditionalLanguage ReflectingLight "反射光") | domainEnglishFormat.kif 49129-49129 | |
(termFormat EnglishLanguage ReflectingLight "reflecting light") | domainEnglishFormat.kif 49128-49128 |
consequent |
(=> (instance ?M Mirror) (capability ReflectingLight instrument ?M)) |
Mid-level-ontology.kif 3686-3688 |
|