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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2583-2584
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1226-1226
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2582-2582	Radar is a subclass of electric device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48422-48422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48421-48421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48420-48420

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2594-2596	If an object is an instance of radar, then the object is capable of doing radiating electromagnetic as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2586-2592	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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