(subclass MilitaryAirport MilitaryInstallation) | MilitaryProcesses.kif 2784-2784 | Military airport is a subclass of military installation |
(subclass MilitaryAirport Airport) | MilitaryProcesses.kif 2785-2785 | Military airport is a subclass of airport |
(subclass AircraftCarrier MilitaryAirport) | MilitaryProcesses.kif 2783-2783 | Aircraft carrier is a subclass of military airport |
![]() |