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 2583-2584 | |
(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 2582-2582 | Radar è una sottoclasse di ElectricDevice |
appearance as argument number 2 |
(termFormat ChineseLanguage Radar "雷达") | domainEnglishFormat.kif 48422-48422 | |
(termFormat ChineseTraditionalLanguage Radar "雷達") | domainEnglishFormat.kif 48421-48421 | |
(termFormat EnglishLanguage Radar "radar") | domainEnglishFormat.kif 48420-48420 |
antecedent |
(=> (instance ?RADAR Radar) (capability RadiatingElectromagnetic agent ?RADAR)) |
Mid-level-ontology.kif 2594-2596 | |
(=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 2586-2592 |
|
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 |