(documentationportNumberEnglishLanguage "(portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol port, i.e. a TCP-IP software abstraction used to distinguish different applications providing services within a single destination computer. The different ports on a host are identified by a positive 16-bit number.")