Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AESAAntenna(active eletronically scanned array antenna) |
| appearance as argument number 1 |
|
| (typicalPart AESAAntenna ANSPY6) | Transportation.kif 5365-5365 | A active eletronically scanned array antenna is typically a part of a An/SPY-6 |
| (subclass AESAAntenna PhasedArrayAntenna) | Transportation.kif 5479-5479 | Active eletronically scanned array antenna is a subclass of phased array attenna |
| (documentation AESAAntenna EnglishLanguage "AESAAntenna (AESA) is a type of phased array antenna, each antenna element is connected to a small solid-state transmit/ receive module (TRM) under the control of a computer, which performs the functions of a transmitter and/ or receiver for the antenna. This contrasts with a passive electronically scanned array (PESA), in which all the antenna elements are connected to a single transmitter and/ or receiver through phase shifters under the control of the computer. AESA's main use is in radar and these are known as active phased-array radar (APAR). The AESA is a more advanced, sophisticated, second-generation of the original PESA phased-array technology. The AESA can radiate multiple beams of radio waves at multiple frequencies simultaneously. [Wikipedia]") | Transportation.kif 5480-5488 | Active eletronically scanned array antenna is a subclass of phased array attenna |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept PESAAntenna AESAAntenna) | Transportation.kif 5437-5437 | Passive electronically scanned array antenna is internally related to active eletronically scanned array antenna |
| (termFormat EnglishLanguage AESAAntenna "active eletronically scanned array antenna") | Transportation.kif 5489-5489 | Passive electronically scanned array antenna is internally related to active eletronically scanned array antenna |
| antecedent |
|
|
| (=> (and (instance ?A AESAAntenna) (part ?C ?A) (instance ?C CollectionOfObjects) (memberType ?C ?CLASS) (subclass ?CLASS CommunicationDevice)) (exists (?R1 ?D1 ?R2 ?D2) (and (instance ?R1 RadioEmission) (origin ?R1 ?D1) (instance ?D1 ?CLASS) (instance ?R2 RadioEmission) (origin ?R2 ?D2) (instance ?D2 ?CLASS) (not (equal ?D1 ?D2)) (not (equal ?R1 ?R2)) (cooccur ?R1 ?R2)))) |
Transportation.kif 5491-5510 | If X is an instance of active eletronically scanned array antenna, Y is a part of X, Y is an instance of collection, Z is a member type of Y, and Z is a subclass of communication device, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of radio emission (3) W originates at V (4) V is an instance of Z (5) U is an instance of radio emission (6) U originates at T (7) T is an instance of Z (8) equal V (9) T (10) equal W (11) U (12) W occurs at the same time as U |
|