Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ANSPY6(An/SPY-6) |
| appearance as argument number 1 |
|
| (subclass ANSPY6 ThreeDRadar) | Transportation.kif 5357-5357 | An/SPY-6 is a subclass of three D radar |
| (documentation ANSPY6 EnglishLanguage "ANSPY6 is an active electronically scanned array (AESAAntenna) ThreeDRadar system developed and built by RTX Corporation, and in service with the United States Navy. It provides integrated air and missile defense for Flight III Arleigh Burke-class destroyers. [Wikipedia]") | Transportation.kif 5358-5361 | An/SPY-6 is a subclass of three D radar |
| (creator ANSPY6 RTXCorporation) | Transportation.kif 5363-5363 | An/SPY-6 created RTX Corporation |
| (manufacturer ANSPY6 RTXCorporation) | Transportation.kif 5364-5364 | The maker of An/SPY-6 is RTX Corporation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R ANSPY6) (hasPurpose ?R (exists (?G ?M) (and (instance ?G Guiding) (patient ?G ?M) (instance ?M GuidedMissile) (instrument ?G ?R))))) |
Transportation.kif 5367-5375 | If X is an instance of An/SPY-6, then X has the purpose there exist Y, Z such that Y is an instance of guiding, Z is a patient of Y, Z is an instance of guided missile, and X is an instrument for Y |
| (=> (and (instance ?R ANSPY6) (possesses ?N ?R) (uses ?R ?N)) (and (instance ?N NavyBranchOfService) (subOrganization ?N USMilitary))) |
Transportation.kif 5377-5384 | If X is an instance of An/SPY-6, Y possesses X, and Y uses X, then Y is an instance of navy branch of service and Y is a part of the organization US military |
|