| ReflectingLight(reflecting light) | | mirror, reflect, reverberate |
| 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 574-577 | |
| (subclass ReflectingLight RadiatingLight) | Mid-level-ontology.kif 573-573 | Reflecting light is a subclass of radiating light |
| (subclass ReflectingLight Reflecting) | Mid-level-ontology.kif 572-572 | Reflecting light is a subclass of reflecting |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ReflectingLight "反射光") | domainEnglishFormat.kif 49170-49170 | |
| (termFormat ChineseTraditionalLanguage ReflectingLight "反射光") | domainEnglishFormat.kif 49169-49169 | |
| (termFormat EnglishLanguage ReflectingLight "reflecting light") | domainEnglishFormat.kif 49168-49168 |
| consequent |
|
|
| (=> (instance ?M Mirror) (capability ReflectingLight instrument ?M)) |
Mid-level-ontology.kif 3679-3681 |
|
|
|
|