| 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 | Radar è una sottoclasse di ElectricDevice |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Radar "雷达") | domainEnglishFormat.kif 48424-48424 | |
| (termFormat ChineseTraditionalLanguage Radar "雷達") | domainEnglishFormat.kif 48423-48423 | |
| (termFormat EnglishLanguage Radar "radar") | domainEnglishFormat.kif 48422-48422 |
| 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 |
|
|
|