Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Radar(radar)
|  | 3d_radar, Doppler_radar, air_search_radar, early_warning_radar, microwave_radar, radar, radio_detection_and_ranging, radiolocation, three-dimensional_radar, weather_radar |
| appearance as argument number 1 |
|
|
| (subclass Radar ElectricDevice) | Mid-level-ontology.kif 3181-3181 | Radar is a subclass of electric device |
| (documentation Radar EnglishLanguage "An ElectricDevice that emits and receives microwave radiation for the purpose of locating and tracking distant objects.") | Mid-level-ontology.kif 3182-3183 | Radar is a subclass of electric device |
| (externalImage Radar "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Radar_antenna.jpg/ 180px_Radar_antenna.jpg") | pictureList.kif 1226-1226 | Radar is a subclass of electric device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain radarEmissionPowerCapability 1 Radar) | Transportation.kif 5515-5515 | The number 1 argument of radar emission power capability is an instance of radar |
| (domain radarEmissionFrequency 1 Radar) | Transportation.kif 5535-5535 | The number 1 argument of radar emission frequency is an instance of radar |
| antecedent |
|
|
| (=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 3185-3191 | If X is an instance of radar, then X has the purpose there exists Y such that Y is an instance of discovering and X is an instrument for Y |
| (=> (instance ?RADAR Radar) (capability RadiatingElectromagnetic agent ?RADAR)) |
Mid-level-ontology.kif 3193-3195 | If X is an instance of radar, then X is capable of doing radiating electromagnetic as a agent |
| 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 1265-1278 | If X is an instance of beam ridingG missile, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X is an instrument for Y (4) Z is a patient of Y (5) W is an instance of radiating (6) V is an instrument for W (7) V is an instance of radar or V is an instance of light fixture (8) Z is a patient of W |
| (=> (instance ?RR RadarReconnaissance) (exists (?RADAR) (and (instrument ?RR ?RADAR) (instance ?RADAR Radar)))) |
MilitaryProcesses.kif 853-858 | If X is an instance of radar reconnaissance, then there exists Y such that Y is an instrument for X and Y is an instance of radar |
|