Radar - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Radar

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

(documentation Radar EnglishLanguage "An ElectricDevice that emits and receives microwave radiation for the purpose of locating and tracking distant objects.")	Mid-level-ontology.kif 2649-2650
(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 2648-2648	Radar is a subclass of electric device

appearance as argument number 2

(termFormat ChineseLanguage Radar "雷达")	domainEnglishFormat.kif 48453-48453
(termFormat ChineseTraditionalLanguage Radar "雷達")	domainEnglishFormat.kif 48452-48452
(termFormat EnglishLanguage Radar "radar")	domainEnglishFormat.kif 48451-48451

antecedent

(=> (instance ?RADAR Radar) (capability RadiatingElectromagnetic agent ?RADAR))	Mid-level-ontology.kif 2660-2662	If an object is an instance of radar, then the object is capable of doing radiating electromagnetic as a agent
(=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR)))))	Mid-level-ontology.kif 2652-2658	If a physical is an instance of radar, then the physical has the purpose there exists an entity such that the entity is an instance of discovering and the physical is an instrument for the entity

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	If a physical is an instance of beam ridingG missile, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity and the third entity is an instance of radiating and the fourth entity is an instrument for the third entity and the fourth entity is an instance of radar or the fourth entity is an instance of light fixture and the other entity is a patient of the third entity
(=> (instance ?RR RadarReconnaissance) (exists (?RADAR) (and (instrument ?RR ?RADAR) (instance ?RADAR Radar))))	MilitaryProcesses.kif 831-836	If a process is an instance of radar reconnaissance, then there exists an object such that the object is an instrument for the process and the object is an instance of radar

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners