ArtificialSatellite(artificial satellite) | artificial_satellite, orbiter, satellite |
appearance as argument number 1 |
(documentation ArtificialSatellite EnglishLanguage "An ArtificialSatellite is a Device that orbits the earth in space and performs various functions such as aiding in communication, photographing the earth's surface, and others.") | Communications.kif 115-117 | |
(subclass ArtificialSatellite EngineeringComponent) | Communications.kif 113-113 | Artificial satellite is a subclass of engineering component |
(subclass ArtificialSatellite Satellite) | Communications.kif 112-112 | Artificial satellite is a subclass of satellite |
appearance as argument number 2 |
(subclass CommunicationSatellite ArtificialSatellite) | Communications.kif 119-119 | Communication satellite is a subclass of artificial satellite |
(termFormat ChineseLanguage ArtificialSatellite "人造卫星") | domainEnglishFormat.kif 8526-8526 | |
(termFormat ChineseTraditionalLanguage ArtificialSatellite "人造衛星") | domainEnglishFormat.kif 8525-8525 | |
(termFormat EnglishLanguage ArtificialSatellite "artificial satellite") | domainEnglishFormat.kif 8524-8524 | |
(termFormat EnglishLanguage ArtificialSatellite "satellite") | Communications.kif 114-114 |
consequent |