RoomingAndBoardingHouses
|
|
appearance as argument number 1 |
(documentation RadiatingLight ChineseLanguage "这是 Radiating 的 subclass,过程中会释放 或吸收光,一些例如包括:闪烁、闪光和闪亮。") | chinese_format.kif 3328-3329 | |
(documentation RadiatingLight EnglishLanguage "The subclass of Radiating in which light is given off or absorbed. Some examples include blinking, flashing, and glittering.") | Merge.kif 13697-13699 | |
(subclass RadiatingLight RadiatingElectromagnetic) | Merge.kif 13696-13696 | Lumi�re irradiante est une sous-classe de RadiatingElectromagnetic |
appearance as argument number 2 |
(disjoint RadiatingInfrared RadiatingLight) | Mid-level-ontology.kif 589-589 | RadiatingInfrared est disjoint de lumi�re irradiante |
(disjoint RadiatingUltraviolet RadiatingLight) | Mid-level-ontology.kif 596-596 | RadiatingUltraviolet est disjoint de lumi�re irradiante |
(subclass FlashingLight RadiatingLight) | Mid-level-ontology.kif 630-630 | FlashingLight est une sous-classe de lumi�re irradiante |
(subclass RadiatingVisibleLight RadiatingLight) | Mid-level-ontology.kif 612-612 | RadiatingVisibleLight est une sous-classe de lumi�re irradiante |
(subclass ReflectingLight RadiatingLight) | Mid-level-ontology.kif 573-573 | ReflectingLight est une sous-classe de lumi�re irradiante |
(subclass Sunlight RadiatingLight) | Mid-level-ontology.kif 626-626 | Sunlight est une sous-classe de lumi�re irradiante |
(termFormat ChineseLanguage RadiatingLight "放射光线") | chinese_format.kif 1223-1223 | |
(termFormat EnglishLanguage RadiatingLight "radiating light") | english_format.kif 1667-1667 | |
(termFormat FrenchLanguage RadiatingLight "lumi�re irradiante") | french_format.kif 901-901 | |
(termFormat Hindi RadiatingLight "vikiranakaarii prakaasha") | terms-hindi.txt 434-434 | |
(termFormat ItalianLanguage RadiatingLight "RadiazioneLuminosa") | terms-it.txt 437-437 | |
(termFormat JapaneseLanguage RadiatingLight "放射光") | japanese_format.kif 2585-2585 | |
(termFormat PortugueseLanguage RadiatingLight "Luz Irradiante") | portuguese_format.kif 853-853 | |
(termFormat cz RadiatingLight "radiating light") | terms-cz.txt 473-473 | |
(termFormat ro RadiatingLight "radiaþie luminoasã") | relations-ro.kif 922-922 | |
(termFormat tg RadiatingLight "nagmamanaag na liwanag") | terms-tg.txt 438-438 |
antecedent |
(=> (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)) (attribute ?REGION Illuminated)) |
Merge.kif 13701-13706 | |
(=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 617-624 |
|
consequent |