| Radar
| |
| appearance as argument number 1 |
|
|
| (documentation Radar EnglishLanguage "An ElectricDevice that emits and receives microwave radiation for the purpose of locating and tracking distant objects.") | Mid-level-ontology.kif 2576-2577 | |
| (externalImage Radar "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Radar_antenna.jpg/ 180px-Radar_antenna.jpg") | pictureList.kif 1226-1226 | |
| (subclass Radar ElectricDevice) | Mid-level-ontology.kif 2575-2575 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Radar "雷达") | domainEnglishFormat.kif 48455-48455 | |
| (termFormat ChineseTraditionalLanguage Radar "雷達") | domainEnglishFormat.kif 48454-48454 | |
| (termFormat EnglishLanguage Radar "radar") | domainEnglishFormat.kif 48453-48453 |
| antecedent |
|
|
| (=> (instance ?RADAR Radar) (capability RadiatingElectromagnetic agent ?RADAR)) |
Mid-level-ontology.kif 2587-2589 | |
| (=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 2579-2585 |
| consequent |
|
|
| (=> (instance ?M BeamRidingGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION ?INST) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION Radiating) (instrument ?RADIATION ?INST) (or (instance ?INST Radar) (instance ?INST LightFixture)) (patient ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1108-1121 | |
| (=> (instance ?RR RadarReconnaissance) (exists (?RADAR) (and (instrument ?RR ?RADAR) (instance ?RADAR Radar)))) |
MilitaryProcesses.kif 831-836 |
|
|
|