| 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 3046-3047 | |
| (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 3045-3045 |
| 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 3057-3059 | |
| (=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 3049-3055 |
| consequent |
|
|
| (=> (instance ?RR RadarReconnaissance) (exists (?RADAR) (and (instrument ?RR ?RADAR) (instance ?RADAR Radar)))) |
MilitaryProcesses.kif 831-836 |
|
|
|