Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  RTXCorporation
|
|
|
| appearance as argument number 1 |
|
|
| (instance RTXCorporation Corporation) | Transportation.kif 5386-5386 | RTX Corporation is an instance of corporation |
| (documentation RTXCorporation EnglishLanguage "RTXCorporation formerly Raytheon Technologies Corporation,is an American multinational aerospace and defense conglomerate headquartered in Arlington, Virginia. RTX manufactures aircraft engines, avionics, aerostructures, cybersecurity solutions, guided missiles, air defense systems, satellites, and drones. The company is a large military contractor, getting much of its revenue from the U.S. government.[Wikipedia]") | Transportation.kif 5387-5391 | RTX Corporation is an instance of corporation |
| (headquartersOfOrganization RTXCorporation Virginia) | Transportation.kif 5393-5393 | The headquarters of RTX Corporation is in virginia |
| appearance as argument number 2 |
|
|
| (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 |
| (termFormat EnglishLanguage RTXCorporation "RTX Corporation") | Transportation.kif 5392-5392 | The maker of An/SPY-6 is RTX Corporation |
|