|
|
   Orbita
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Orbita CommunicationSatellite) | Communications.kif 150-150 | Orbita is a subclass of communication satellite |
| (documentation Orbita EnglishLanguage "An Orbita is one type of CommunicationSatellite.") | Communications.kif 151-152 | Orbita is a subclass of communication satellite |
| appearance as argument number 2 |
|
|
|