| RadiatingVisibleLight | |
| appearance as argument number 1 |
|
|
| (disjoint RadiatingVisibleLight RadiatingUltraviolet) | Mid-level-ontology.kif 803-803 | |
| (documentation RadiatingVisibleLight EnglishLanguage "Any instance of RadiatingLight that can be detected by normal human visual perception.") | Mid-level-ontology.kif 804-805 | |
| (subclass RadiatingVisibleLight RadiatingLight) | Mid-level-ontology.kif 802-802 |
| appearance as argument number 2 |
|
|
| (subclass Flickering RadiatingVisibleLight) | ComputingBrands.kif 3507-3507 | |
| (termFormat ChineseLanguage RadiatingVisibleLight "辐射可见光") | domainEnglishFormat.kif 48464-48464 | |
| (termFormat ChineseTraditionalLanguage RadiatingVisibleLight "輻射可見光") | domainEnglishFormat.kif 48463-48463 | |
| (termFormat EnglishLanguage RadiatingVisibleLight "radiating visible light") | domainEnglishFormat.kif 48462-48462 |
| consequent |
|
|
| (=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 807-814 |
|
|
|