| RadiatingInfrared(辐射红外线) | |
| appearance as argument number 1 |
|
|
| (disjoint RadiatingInfrared RadiatingLight) | Mid-level-ontology.kif 596-596 | 辐射红外线 和 % 2 是 disjoint |
| (disjoint RadiatingInfrared RadioEmission) | Mid-level-ontology.kif 597-597 | 辐射红外线 和 % 2 是 disjoint |
| (documentation RadiatingInfrared EnglishLanguage "Any instance of Radiating where the wavelengths are longer than those of visible light and shorter than those of radio emissions.") | Mid-level-ontology.kif 598-600 | |
| (subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 595-595 | 辐射红外线 是 辐射 的 subclass |
| (subclass RadiatingInfrared RadiatingElectromagnetic) | Merge.kif 13670-13670 | 辐射红外线 是 辐射电磁 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RadiatingInfrared "辐射红外线") | domainEnglishFormat.kif 48446-48446 | |
| (termFormat ChineseTraditionalLanguage RadiatingInfrared "輻射紅外線") | domainEnglishFormat.kif 48445-48445 | |
| (termFormat EnglishLanguage RadiatingInfrared "radiating infrared") | domainEnglishFormat.kif 48444-48444 |
| consequent |
|
|
| (=> (instance ?M InfraRedGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION RadiatingInfrared) (agent ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1079-1088 |
|
|
|