PESAAntenna - Sigma Knowledge base Browser

appearance as argument number 1

(typicalPart PESAAntenna ANSPY1)	Transportation.kif 5346-5346	A passive electronically scanned array antenna is typically a part of a An/SPY-1
(subclass PESAAntenna PhasedArrayAntenna)	Transportation.kif 5427-5427	Passive electronically scanned array antenna is a subclass of phased array attenna
(documentation PESAAntenna EnglishLanguage "PESAAntenna (PESA), also known as passive phased array, is an antenna in which the beam of radio waves can be electronically steered to point in different directions (that is, a phased array antenna) without moving the antenna, in which all the antenna elements are connected to a single transmitter and/ or receiver.PESAs can only emit a single beam of radio waves at a single frequency at a time. The PESA must utilize a Butler matrix if multiple beams are required.[Wikipedia]")	Transportation.kif 5428-5433	Passive electronically scanned array antenna is a subclass of phased array attenna
(relatedInternalConcept PESAAntenna AESAAntenna)	Transportation.kif 5437-5437	Passive electronically scanned array antenna is internally related to active eletronically scanned array antenna

appearance as argument number 2

(termFormat EnglishLanguage PESAAntenna "passive electronically scanned array antenna")	Transportation.kif 5434-5434
(names "passive phased array" PESAAntenna)	Transportation.kif 5435-5435	Passive electronically scanned array antenna has name "passive phased array"
(names "PESA" PESAAntenna)	Transportation.kif 5436-5436	Passive electronically scanned array antenna has name "PESA"

antecedent

(=> (instance ?P PESAAntenna) (hasPurpose ?P (exists (?O1 ?R ?L) (and (part ?O1 ?P) (instance ?R RadioEmission) (origin ?R ?O1) (instance ?L ReflectingLight) (destination ?L ?O1) (not (exists (?O2) (and (part ?O2 ?P) (origin ?R ?O2) (destination ?L ?O2) (not (equal ?O1 ?O2)))))))))	Transportation.kif 5439-5456	If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a part of X (3) Z is an instance of radio emission (4) Z originates at Y (5) W is an instance of reflecting light (6) W ends up at Y (7) there doesn't exist V such that V is a part of X (8) Z originates at V (9) W ends up at V (10) equal Y (11) V
(=> (instance ?A PESAAntenna) (hasPurpose ?A (exists (?R ?C ?D) (and (instance ?R RadioEmission) (instrument ?R ?A) (during (WhenFn ?R) ?T) (instance ?C Collection) (member ?R ?C) (property ?C ?D) (instance ?D DirectionalAttribute) (not (exists (?D2) (and (instance ?D2 DirectionalAttribute) (property ?C ?D2) (not (equal ?D ?D2)))))))))	Transportation.kif 5458-5477	If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of radio emission (3) X is an instrument for Y (4) the time of existence of Y takes place during V (5) Z is an instance of collection (6) Y is a member of Z (7) Z the attribute W (8) W is an instance of directional attribute (9) there doesn't exist U such that U is an instance of directional attribute (10) Z the attribute U (11) equal W (12) U

consequent

(=>
    (instance ?R ANSPY1)
    (exists (?C)
        (and
            (instance ?C CollectionOfObjects)
            (part ?C ?R)
            (memberType ?C PESAAntenna)
            (memberCount ?C 4))))

Transportation.kif 5348-5355

If X is an instance of An/SPY-1, then there exists Y such that Y is an instance of collection, Y is a part of X, passive electronically scanned array antenna is a member type of Y, and 4 is a member count of Y

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners